Download LocksmithDownload Locksmith:
If you are using Locksmith, please drop me an email (substitute @ for -at- in the address) to let me know.
Building LocksmithIn short:
Running LocksmithLocksmith is run using the cilly CIL driver, which is stored in locksmith/cil/bin/cilly. Since Locksmith performs a whole program analysis, it needs to be supplied with all the source files in the program. For simple applications, running
$ /path/to/locksmith/cil/bin/cilly --merge *.cis enough to cause CIL to merge all input C files before invoking Locksmith. We provide stub definitions for several library functions in locksmith/experiments/lib.c. All undefined functions in the final merged program will be listed as warnings.