GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 05:45:51 +03:00
Code Issues Projects Releases Wiki Activity
2,229 Commits 49 Branches 0 Tags 13 MiB

Default Branch

master

03fc41f42e · aarch32-syntax: Remove references to x86 · Updated 2024-11-21 19:36:13 +03:00
 ZIP  TAR.GZ

Branches

ghc-9.8-infinite-loop

b33bc5c03d · Draft: Allow building with GHC 9.10 · Updated 2024-09-30 23:25:00 +03:00
28
5
 ZIP  TAR.GZ
refinement-reopt

046c91709f · Revert "macaw-ppc-symbolic: Remove redundant import" · Updated 2024-08-30 01:56:26 +03:00
77
3
 ZIP  TAR.GZ
feature/better-jumptable-truncation

75e31f8338 · Improve handling of JumpBound truncation constraints · Updated 2024-07-24 23:44:04 +03:00
115
0
 Included
 ZIP  TAR.GZ
lb/cli

248518df08 · Fix error code reporting · Updated 2024-07-08 19:21:49 +03:00
123
6
 ZIP  TAR.GZ
mctrace

5ffc417fea · Data.Macaw.X86: add weakIdentifyReturn, a opcode-sensitive variant of identifyReturn · Updated 2024-02-21 03:37:33 +03:00
165
13
 ZIP  TAR.GZ
macaw-exports

21e9e0046d · wip · Updated 2024-01-10 04:35:13 +03:00
212
2
 ZIP  TAR.GZ
dm/pate

2bb5a2990a · Data.Macaw.PPC: finish block when link register equals the IP · Updated 2024-01-05 02:32:50 +03:00
164
17
 ZIP  TAR.GZ
dm/ppc-pc-rela

9b1b120121 · Data.Macaw.PPC: add classifier to handle pc-relative loads for relocatable code · Updated 2023-12-15 23:28:08 +03:00
164
1
 ZIP  TAR.GZ
dm/pate-ppc-relocs

cd335cd22d · macaw-{aarch32,ppc}: Remove vestigial InstructionAtUnmappedAddr error types · Updated 2023-11-14 23:11:56 +03:00
242
20
 ZIP  TAR.GZ
fathom5

7de0b681e8 · ARM.Identify: wrap block classifiers to maintain PSTATE_T · Updated 2023-09-01 23:19:27 +03:00
212
1
 ZIP  TAR.GZ
dm/logging

cfb1f9922c · update architecture definitions to use Classifier monad · Updated 2023-07-19 02:01:31 +03:00
204
3
 ZIP  TAR.GZ
issues/302

b0fbe5034b · Data.Macaw.Memory.ElfLoader: fix overlapping section and program header error · Updated 2023-07-19 01:47:29 +03:00
204
2
 ZIP  TAR.GZ
mctrace_log

72f982217c · Data.Macaw.Architecture.Info: add structured tracing to Classifier · Updated 2023-06-30 02:27:51 +03:00
237
8
 ZIP  TAR.GZ
dm/logging2

7ba7124794 · WIP: upgrade Classifier monad · Updated 2023-06-28 22:39:19 +03:00
205
2
 ZIP  TAR.GZ
sb/expose-arm-newsymfuns

bcfd235e88 · Add AssertCustom · Updated 2023-06-28 18:04:33 +03:00
205
3
 ZIP  TAR.GZ
dm/match-return-fix

89c2bb3fd1 · add additional case to PPC matchReturn · Updated 2023-06-15 02:19:52 +03:00
205
1
 ZIP  TAR.GZ
dm/segignore

7d8fc5e668 · hack to prevent loading certain segments · Updated 2023-05-11 02:31:57 +03:00
242
9
 ZIP  TAR.GZ
T277

97a26e544a · Draft: Consistently use symbol table functionality from elf-edit · Updated 2023-02-15 18:52:43 +03:00
228
1
 ZIP  TAR.GZ
T282

8a13d2809a · Draft: Lazy symbolic memory model · Updated 2023-02-12 23:24:58 +03:00
228
1
 ZIP  TAR.GZ
bb/return-regs

65cd33b8a8 · Add register reverse comment to non-thumb case · Updated 2022-05-04 20:25:53 +03:00
260
3
 ZIP  TAR.GZ