23 Commits

Author	SHA1	Message	Date
Kevin Quick	747ce16f5f	[arm] Add arm_LR link register and initialize it in the abstract state.	2018-02-22 16:58:34 -08:00
Kevin Quick	3120eda53f	[arm] Add value extraction for LdstSoReg operand.	2018-02-22 16:24:02 -08:00
Kevin Quick	1027ad0c06	[arm] Simple armNonceAppEval: no arch-specific overrides needed.	2018-02-22 16:22:54 -08:00
Kevin Quick	a9b55b655b	[arm] Added identifyCall and identifyReturn trivial implementations.	2018-02-22 16:15:34 -08:00
Kevin Quick	cc623ae16f	[arm] Added trivial rewriteArchFn ... currently no ARM primitives.	2018-02-22 16:09:32 -08:00
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