| Commit |
Ř |
| 2fb657a |
limit the number of sub-analysis in scope resolution |
|
| 0d85acf |
abort scope resolution early if all envs are tainted |
|
| 116f76b |
fix non-termination in scope resolution |
|
| cf18eb0 |
mark envs leaked while being captured in a promise
during interprocedural an... |
|
| de5c86b |
change this into a warning |
|
| 0c453ad |
limit recursion
now that recursive scope analysis for promises actually work... |
|
| 85af629 |
fix serialization of fun signature |
|
| da1ec51 |
scope: force must tainst interpocedural caller arg
given:
a = mkarg(pro... |
|
| 0d59a3d |
Merge pull request #1164 from reactorlabs/fixDifferentialContextCheck
Fix di... |
|
| 44ce597 |
fix serialization of code obj |
|
| 71a1eb6 |
move all flags and counters from Code to Function
Many counters and flags we... |
|
| b62e5a9 |
add regression test |
|
| 59a0ed2 |
typo in differential context check
Instead of checking unevaluated promises,... |
|
| edccc86 |
Merge pull request #1160 from reactorlabs/CDIncrementalCheck
CD: don't re-ch... |
|
| 775a26e |
Merge pull request #1158 from reactorlabs/osrCalls
trigger osr of caller for... |
|
| 4fcaab6 |
compile callee too |
|
| 6f17290 |
avoiding excessive compile times |
|
| f62ba04 |
CD: don't re-check statically known assumptions
in optimized code compute wh... |
|
| d25ea6a |
Merge pull request #1159 from reactorlabs/CDfixLookupOfTrivialProm
fix looku... |
|
| 20796a6 |
fix double-free |
|