Tom Hvitved 946be967f8 C#: Break up a big cached stage into multiple stages ...

- Add `Caching.qll` for controlling caching across multiple files.
- Move `isUncertainRefCall()` out of cached module in `Assignable.qll` to avoid
  collapsing with CFG stage.
- Remove dependency on `AlwaysNullExpr` in `NullValue::getAnExpr()` to avoid
  collapsing with CFG stage.
- Avoid caching pre-SSA library as it should only be used during the CFG construction
  stage.

2019-06-12 16:05:45 +02:00

..

src

C#: Break up a big cached stage into multiple stages

2019-06-12 16:05:45 +02:00

test

C#: Break up a big cached stage into multiple stages

2019-06-12 16:05:45 +02:00