194 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Ben Selfridge	afeb8f77c9	New Travis script	2017-11-08 12:05:28 -08:00
Ben Selfridge	ff7bff7108	Added submodules to macaw/x86/tests.	2017-11-07 14:40:49 -08:00
Joe Hendrix	9b2b95512d	Add support for memory "regions" to better support relocatable files.	2017-11-07 13:15:03 -08:00
Ben Selfridge	580cb634cd	Fixed macaw-x86 test suite, all tests seem to pass fine.	2017-11-01 15:56:54 -07:00
Joe Hendrix	b99927f3b0	Fix issue in architecture-specific statement addresses.	2017-10-31 12:00:09 -07:00
Joe Hendrix	f34642e398	Fix macaw-symbolic to work with macaw-base changes.	2017-10-27 16:40:21 -07:00
Joe Hendrix	8e9b453189	Simplify demand computation.	2017-10-27 16:24:16 -07:00
Joe Hendrix	f7503f12a5	Generalize ArchStmt.	2017-10-27 15:57:36 -07:00
Joe Hendrix	4c67e08e21	Generalize semantics of architecture-specific term statement. ... This also makes some small changes/improvments to the rewriter and removes redundent argument from x86-backend.	2017-10-27 09:26:26 -07:00
Joe Hendrix	ac0a59674a	Export simplification functions.	2017-10-25 15:43:54 -07:00
Joe Hendrix	bcea135f2c	Export additional types from discovery.	2017-10-23 14:59:37 -07:00
Joe Hendrix	f29ffca628	Merge branch 'master' of github.com:GaloisInc/macaw	2017-10-23 13:57:14 -07:00
Joe Hendrix	16693d4a63	Generalize disassembler so that it can be used with ST RealWorld.	2017-10-23 13:55:58 -07:00
Tristan Ravitch	537bcceafa	Add floating point negation to the App type	2017-10-18 13:41:12 -07:00
Tristan Ravitch	618857f21d	Add a constructor to the App type for floating point absolute value	2017-10-18 11:17:00 -07:00
Joe Hendrix	3f9e470b84	Fix macaw-symbolic compile error.	2017-10-17 14:09:48 -07:00
Joe Hendrix	5eaf2605ed	Add support for adc/sbb.	2017-10-17 11:50:23 -07:00
Joe Hendrix	135add62ae	Minor refactorings so ARM disassembler doesn't need MemSegmentOff.	2017-10-12 23:34:39 -07:00
Joe Hendrix	c95d3e7d0f	Cleanups to Macaw.	2017-10-10 11:38:28 -07:00
Joe Hendrix	b17122e4c5	Fix macaw-symbolic compile error; add additional operands.	2017-10-06 14:35:22 -07:00
Joe Hendrix	dd7c817702	Modify BVTestBit to require arguments have same width.	2017-10-06 11:22:55 -07:00
Joe Hendrix	1ebc6f247b	Make X86Stmt more generic to reuse code in reopt.	2017-10-02 17:02:00 -07:00
Joe Hendrix	c77d1ac421	Remove generic quot/rem ops, and BoolMux; Refactor macaw-symbolic.	2017-10-02 14:40:14 -07:00
Joe Hendrix	1cfe6cf08c	Update READMEs.	2017-09-27 16:12:44 -07:00
Joe Hendrix	7c33bf82e4	Update license information.	2017-09-27 15:59:06 -07:00
Joe Hendrix	4dcb26ebee	Add x86 specific code.	2017-09-27 15:54:43 -07:00
Joe Hendrix	0242a88fa6	Rename macaw to macaw-base and move directory.	2017-09-27 15:41:37 -07:00
Joe Hendrix	7a31a65e1d	Fix macaw-symbolic to support generalized ArchFn.	2017-09-27 14:38:36 -07:00
Joe Hendrix	950f0285ae	Eliminate custom traverals of App in favor of parameterized-utils traversals.	2017-09-27 14:32:48 -07:00
Joe Hendrix	8a70d9aee4	Generalize ArchFn result type.	2017-09-27 13:49:58 -07:00
Joe Hendrix	5617cd1429	Start implementing macaw-symbolic.	2017-09-26 13:26:57 -07:00
Joe Hendrix	bc885fd292	Migrate architecture-specific translation functions.	2017-09-25 15:50:16 -07:00
Joe Hendrix	2c229bcaac	Migrate Syscall to Architecture-specific statement.	2017-09-12 23:56:47 -07:00
Joe Hendrix	00a087b294	Introduce ArchTermStmt.	2017-09-12 15:58:38 -07:00
Ben Selfridge	f869aba9bb	Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw	2017-09-12 13:08:51 -07:00
Ben Selfridge	cec4bdb3d4	Added MCGenerator monad to build up basic blocks.	2017-09-12 13:07:35 -07:00
Joe Hendrix	a4ed0e4ac7	Update Dwarf; add addrListBit.	2017-09-07 13:39:56 -07:00
Ben Davis	b9eea0e891	Add option to trust function entry data when parsing blocks ... If trustKnownFns is set in DiscoveryState, parseFetchAndExecute will not mark jumps to known function entries (discovered or undiscovered marked InitAddr) as intra-procedural jumps. If they are not identified by identifyCall, they will be marked as tail calls.	2017-09-07 09:59:19 -04:00
Ben Perez	d41a58aba2	fixed merge conflicts	2017-08-14 11:01:16 -07:00
Ben Perez	78b140be47	Added functionality for ARM jumps	2017-08-14 10:54:34 -07:00
Joe Hendrix	cfa6f4b9e6	Add architecture-specific call detection.	2017-08-13 14:13:35 -07:00
Joe Hendrix	bd34bcfc2d	Additional exports from ElfLoader/Discovery.	2017-08-10 14:20:38 -07:00
Joe Hendrix	5272f2152e	Remove MMXExtend from list of predefined operations.	2017-08-09 09:21:38 -07:00
Joe Hendrix	e443ff292a	Continue progress on symbolic simulator first pass.	2017-08-04 16:11:35 -07:00
Joe Hendrix	b452cf51da	Add blockAddr/symbolic updates.	2017-08-03 11:48:47 -07:00
Jason Dagit	e71eff0a88	Add viewSegmentOff	2017-07-25 16:10:50 -07:00
Joe Hendrix	e10534e38a	Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw	2017-07-20 11:02:46 -07:00
Joe Hendrix	5008f6f752	Add typeclass constraints to ppErrors.	2017-07-20 11:02:40 -07:00
Ben Perez	6c14f4538f	Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw	2017-07-20 10:58:41 -07:00
Ben Perez	41d0cf1573	Modified Core.hs	2017-07-20 10:58:26 -07:00