We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Build tips and tricks (markdown)
Updated Experimental OMake backend (markdown)
uses https instead of ssh
how to work around opam failure on Linux LXC containers.
Updated Emacs (markdown)
Updated Defining instructions semantics using Primus Lisp (Tutorial) (markdown)
Created Defining instructions semantics using Primus Lisp (Tutorial) (markdown)
adds the llvm version choose/change instructions
fixes the omake/c++ trick
adds the trick that enables `next-error` with omake
adds a note on OASIS/omake C++ caveats
Updated Tutorial: writing a symbolic taint analyzer (markdown)
Created Tutorial: writing a symbolic taint analyzer (markdown)
removes outdated tricks
Updated Using BAP for Taint Analysis (markdown)
fixed some broken links
initial contents
Created Using BAP for Taint Analysis (markdown)
Updated Quick Start for llvm3.8 and Master Branch (Ubuntu) (markdown)
Created Quick Start for llvm3.8 and Master Branch (Ubuntu) (markdown)