search

secure-software-engineering / phasar

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

Misc Fixes #698

Closed fabianbs96 closed 5 months ago

fabianbs96 commented 5 months ago

Fixes the initial values handling in IDESolver to handle the case that a seed location can be reached from another path.

Additionally fixes the MaybeUniquePtr with incomplete types