├── Anselm.cpp ├── CMakeLists.txt ├── Context.cpp ├── Context.h ├── Dockerfile ├── LICENSE ├── README.md ├── run.sh └── tests ├── pattern.txt ├── program.bc └── program.c /Anselm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/Anselm.cpp -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/Context.cpp -------------------------------------------------------------------------------- /Context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/Context.h -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/README.md -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/run.sh -------------------------------------------------------------------------------- /tests/pattern.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/tests/pattern.txt -------------------------------------------------------------------------------- /tests/program.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/tests/program.bc -------------------------------------------------------------------------------- /tests/program.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/anselm/HEAD/tests/program.c --------------------------------------------------------------------------------