Joe Hendrix 22a9104faa Various cleanups. ... Consolidate three different checks that control when to explore a function into a single one defined in exploreFunPred. Modify noreturn function calls to not treat the return address as a potential function entry point. Add basic checking of LSDA address to compare-dwarfdump. Minor code refactoring and submodule updates.		2020-11-06 14:37:13 -08:00
..
src/Data/Macaw	Various cleanups.	2020-11-06 14:37:13 -08:00
support	Add x86-support to travis	2019-03-26 08:21:01 -07:00
tests	Handle bitwise operations on stack offset abstract values (#136)	2020-05-28 14:04:06 -04:00
x86_tests	Segment register updates; stack offset calculation.	2019-09-20 13:58:05 -07:00
.gitignore	Add x86 specific code.	2017-09-27 15:54:43 -07:00
LICENSE	Update license information.	2017-09-27 15:59:06 -07:00
macaw-x86.cabal	x86: Implement semantics for a few instructions (#167)	2020-10-08 19:37:17 -04:00