cheshiregrin/sawscript repository overview

SAWScript, the scripting language that forms the primary user interface to the Software Analysis Workbench (SAW). It provides the ability to reason about formal models describing the denotation of programs written in languages such as C, Java, and Cryptol. Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license.