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
137 stars 14 forks source link

v0.7.0 #133

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

There have been substantial enough changes that it's worth making a new release: https://github.com/GaloisInc/cclyzerpp/compare/v0.6.0...HEAD

langston-barrett commented 2 years ago

https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.7.0