search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
931 stars 140 forks source link

LCA improvements #471

Closed fabianbs96 closed 2 years ago

fabianbs96 commented 2 years ago

Several updates in the IDELinearConstantAnalysis

pdschubert commented 2 years ago

Thanks for the improvements. However, the unit tests cannot be build since a required operator== is missing:

-c ../unittests/PhasarLLVM/ControlFlow/LLVMBasedICFGGlobCtorDtorTest.cpp
In file included from ../unittests/PhasarLLVM/ControlFlow/LLVMBasedICFGGlobCtorDtorTest.cpp:10:
../external/googletest/googletest/include/gtest/gtest.h:1545:11: error: invalid operands to binary expression ('const int' and 'const psr::LatticeDomain<long>')
  if (lhs == rhs) {
pdschubert commented 2 years ago

I'm working on a fix.