You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Mehdi Bouaziz 12c0e245c6
[Inferbo] Simplify interval pretty-print
6 years ago
..
Array.java Fix array size for Java in `get_malloc_info` 6 years ago
ArrayCost.java Cost: also take into account arguments in range 7 years ago
ArrayListTest.java Add support for ArrayList.remove 6 years ago
Break.java Fix control var analysis for loops with multiple back-edges per loop head 7 years ago
Compound_loop.java Get all the loop instructions 7 years ago
Continue.java Fix control var analysis for loops with multiple back-edges per loop head 7 years ago
Cost_test.java [Perf] Emit ZERO_EXECUTION_TIME_CALL issue-type, when zero-costing functions are met 6 years ago
Cost_test_deps.java Get all the loop instructions 7 years ago
EvilCfg.java Cost solver 7 years ago
FieldAccess.java Fix printing of fields in Java 6 years ago
JsonArray.java Change license to MIT 7 years ago
JsonMap.java Change license to MIT 7 years ago
JsonString.java Change license to MIT 7 years ago
JsonType.java Change license to MIT 7 years ago
JsonUtils.java Change license to MIT 7 years ago
Loops.java Fix control variable imprecision in do while loops 7 years ago
Makefile Change license to MIT 7 years ago
Switch.java Fix control var analysis for loops with multiple back-edges per loop head 7 years ago
issues.exp [Inferbo] Simplify interval pretty-print 6 years ago