Skip to content

CXX and SAW

Jump to bottom Edit New page
Langston Barrett edited this page Mar 8, 2019 · 3 revisions

SAW can be used on some C++ code. Some things to keep in mind:

  • Always compile C and C++ code with -O1 and -g
  • You will have to compile libc++ (or another C++ standard library) to bitcode and link it with your application with llvm-link
  • You should compile with -fno-threadsafe-statics to avoid unnecessary inclusion of pthreads material
  • You will likely have to initialize several globals
  • The functions you're trying to verify will probably have mangled names
Add a custom footer
Add a custom sidebar
Clone this wiki locally