issues
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
bug: All globals with initializers should have sizes
#96
Open
langston-barrett
opened
1 year ago
langston-barrett
commented
1 year ago
https://github.com/GaloisInc/cclyzerpp/pull/95
https://github.com/GaloisInc/cclyzerpp/pull/95