search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Support SV-COMP ReachSafety-Sequentialized with Theta #83

Open hajduakos opened 3 years ago

AdamZsofi commented 3 years ago

This category resulted in lots of false positives. This is probably due to pointer arithmetics.