70 Commits

Author	SHA1	Message	Date
Kevin Quick	99bbff0f5f	[arm] Add rewriteStmt (trivial implementation).	2018-02-22 16:08:01 -08:00
Kevin Quick	d2fb7b751a	[arm] Output logging information while generating instructions.	2018-02-22 15:43:54 -08:00
Kevin Quick	24f1f65cc6	[arm] Add value extraction for SoRegReg operand.	2018-02-20 08:52:02 -08:00
Kevin Quick	2e6245b378	[arm] Add value extraction for SoRegImm operand	2018-02-20 08:50:56 -08:00
Kevin Quick	0e540d2025	[arm] Added CPSR as a known register.	2018-02-20 08:38:17 -08:00
Kevin Quick	075a0f54e4	[arm] ExtractValue instances for Pred, SBit, and BranchExecuteTarget operands.	2018-02-07 11:38:04 -08:00
Kevin Quick	0ccba8974d	[arm] Initial nonce app eval, covering arm_is_r15	2018-02-02 16:49:56 -08:00
Kevin Quick	d5292afc76	[arm] add missing import for Operand support with genInstruction.	2018-02-02 16:46:47 -08:00
Kevin Quick	4595a15cc3	[arm] Initial operand support with GP registers handled.	2018-02-02 16:06:52 -08:00
Kevin Quick	f6a0f7bc49	[arm] ARM uses the term PC (Program Counter) instead of IP (Instruction Ptr).	2018-02-02 15:57:02 -08:00
Kevin Quick	f4280134cc	[arm] Correct word size import for disassembly errors.	2018-02-02 15:48:01 -08:00
Kevin Quick	55320831b4	[arm] Use error for TBD functions for runtime visible identification	2018-01-24 11:08:03 -08:00
Kevin Quick	7bc9b2c65b	[arm] Misc cleanup in ARM disassembly.	2018-01-08 13:40:57 -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	704c778acd	Added initial ARM architecture-specific evaluation function.	2018-01-05 06:44:29 -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