search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
134 stars 15 forks source link

FactGenerator: Don't generate `{in,}direct_{call,invoke}` #72

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

Fixes #69. These are computed relations, but when import-*.dl began to be generated from predicates.inc, they became input relations and their content changed on certain programs. The solution is to simply not generate them in the FactGenerator.

langston-barrett commented 1 year ago

Confirmed that there is no callgraph discrepancy between the test program on #69 when run against this commit vs. the initial commit of cclyzer++.