Enable using function summaries to get more precise and custom DFG edges for inferred functions.#1430

Merged

KuechA merged 33 commits intomainfrom dfg-hardcode-file

Mar 19, 2024

+1,397-36

Commits on Mar 7, 2024

Initial prototype for specifying function dfg-summaries

KuechA
authored and
oxisto
committed
Connect new summaries also to dfg of the declaration

KuechA
authored and
oxisto
committed
Handle non-existing list

KuechA
authored and
oxisto
committed
Document the file format

KuechA
authored and
oxisto
committed
Added yml support

KuechA
authored and
oxisto
committed
Move dependency to toml file

KuechA
authored and
oxisto
committed
Document the class

KuechA
authored and
oxisto
committed
Propagate DFG to calling expressions and arguments

KuechA
authored and
oxisto
committed
Fix serialization

KuechA
authored and
oxisto
committed
integration test tag again

KuechA
authored and
oxisto
committed
integration test tag again

KuechA
authored and
oxisto
committed
New property edges

KuechA
authored and
oxisto
committed
Flows are now also control flow sensitive

KuechA
authored and
oxisto
committed

Commits on Mar 14, 2024

Commits on Mar 15, 2024

Commits on Mar 18, 2024

test coverage++
KuechA
committed

Commits on Mar 19, 2024