Update cclyzer++ to v0.5.0

GaloisInc / MATE

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.

https://galoisinc.github.io/MATE/

BSD 3-Clause "New" or "Revised" License

177 stars 12 forks source link

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

Suggestions for review, from high level to low level:

My thousand-foot summary:
- Remove subset-and-unification: Faster builds!
- LLVM 11 compatibility, need to specify LLVM 10 in CMake
- More refactoring of Datalog code
The changelog
The list of merged MRs since v0.3
The list of commits and diff from v0.3 to v0.5.0

Golden tests did change in the LLVM 10 -> 11 upgrade, I reviewed them myself in https://github.com/GaloisInc/cclyzerpp/pull/93.

The test suite is passing.