jacodb

jacodb copied to clipboard

For [this sample](https://github.com/UnitTestBot/jacodb/blob/lipen/taint-panda/jacodb-panda-dynamic/src/test/resources/samples/MethodCollision.ts), at line 32, analyzer can't resolve method `isSame` because variable `c` have union type (`Foo|Bar`), which is currently not supported. Even if we were to support union...

MaxMilshin

IFDS core refactor

5

# Description ## PR TODOs: - [x] Unused Analysis - [x] Multi chunk scenario + tests - [x] Graceful shutdown on timeout - [x] Try to remove `Fact` generic parameter...

sergeypospelov

About UnknownClass error

1

V1.4.5 Run the Unused analysis that comes with the project `{` ` "analyses": [` ` {` ` "name": "Unused",` ` "unitResolver": "method"` ` }` ` ]` `}` set UnknownClass feature...

cxf2006

Flow-less summary storage

5

This PR proposes to add a summary storage without Flow's, which allows for deterministic (non-asynchronous!) subscriptions on summary edges. Ultimately, this enables us to use `MethodUnitResolver` without any doubts, which...

Lipen

Deprecate `declaringClass` in favor of `referencedClass` in `JcRawCallExpr` and `JcRawFieldRef`

1

This PR makes naming in JacoDB less confusing to avoid further bugs like https://github.com/UnitTestBot/usvm/pull/183.

IlyaMuravjov

Fix incorrect IR for expression with two ternary operators

1

Fixes #219 Doesn't pass `UnusedVariableTest`, which seems to be less bad when compared to producing incorrect IR

IlyaMuravjov

For the following method: ```Java public int f() { int i = Integer.parseInt("1"); // line 5 boolean b = Boolean.parseBoolean("true"); // line 6 return (b ? i : 0) +...

IlyaMuravjov

Analyses for slicing and for slicing along trace, i.e. stack trace.

rustam-azimov

Added cache for `jcClass`

9

Damtev

Example: ```kotlin fun isDigit(a: Int) : String { val aa = ArrayList () aa.add(239) return when(a) { in aa -> "array list" in 0..9 -> "digit" !in 0..100 -> "not...

DaniilStepanov