10 Commits

Author	SHA1	Message	Date
Kevin Quick	f81f2437ee	Update for crucible reorganization and new what4 module.	2018-05-18 08:33:58 -07:00
Kevin Quick	1e85a15146	[arm] Add operands and genExecInstruction support for Thumb.	2018-03-07 00:36:22 -08:00
Kevin Quick	a9b55b655b	[arm] Added identifyCall and identifyReturn trivial implementations.	2018-02-22 16:15:34 -08:00
Kevin Quick	4595a15cc3	[arm] Initial operand support with GP registers handled.	2018-02-02 16:06:52 -08:00
Kevin Quick	e48fcbd073	[arm] Initial support for abstract statement evaluation via semmc info.	2018-01-08 13:38:28 -08:00
Kevin Quick	b533f4a92a	Added ARM Macaw disassembly functionality.	2018-01-04 17:18:22 -08:00
Kevin Quick	716ae2a28f	Minimal initial ARM abstract block state creation and dependencies.	2018-01-04 16:14:20 -08:00
Kevin Quick	cd1c676554	[arm] Initial ARM ELF file macaw import and parse.	2017-12-28 16:30:25 -08:00
Kevin Quick	77d4341ac1	Initial tests for analyzing test-just-exit ARM binary.	2017-12-20 15:26:01 -08:00
Kevin Quick	046ce166d3	Initial empty framwork for macaw-arm ARM support.	2017-12-18 17:46:17 -08:00