gazer icon indicating copy to clipboard operation
gazer copied to clipboard

Published 20 hours ago • verified publisher icon ftsrg

Restructure packages

Open radl97 opened this issue 4 years ago • 3 comments

This PR is to improve generic high-level structure of Gazer. Bugs are hard to catch, and finding out which exact passes introduce an error or a weird instruction is hard. This PR would contain some improvements.

  • Move src/LLVM/Verifier inside tools/gazer-bmc/lib (as it works the same as the files in tools/gazer-theta/lib/)
  • Remove Z3Solver as a dependency (this was a small bug)
  • Create a way to use LLVM's opt tool to test specific passes. (This might also need restructure from passes that use objects with their lifetime handled outside LLVM's framework, e.g. that use GazerContext)

radl97 avatar Sep 21 '20 14:09 radl97