Mathias Vorreiter Pedersen 5181cc1295 C++: Add a 'allowInterproceduralFlow' predicate to the 'MustFlow' library to and use it instead of checking the enclosing callables after computing the dataflow graph.

2022-08-02 13:43:01 +01:00

..

dataflow

C++: Add a 'allowInterproceduralFlow' predicate to the 'MustFlow' library to and use it instead of checking the enclosing callables after computing the dataflow graph.

2022-08-02 13:43:01 +01:00

implementation

C++: autoformat

2022-06-14 15:59:47 -04:00

internal

Revert "Merge pull request #8933 from MathiasVP/revert-globals"

2022-04-29 11:45:10 -04:00

IR.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

IRConfiguration.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

IRConsistency.ql

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

PrintIR.ql

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

PrintIR.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

ValueNumbering.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00