GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-28 08:34:23 +03:00
Code Issues Projects Releases Wiki Activity

[refinement] Add 32-bit PPC support to tests.

Browse Source
This commit is contained in:
Kevin Quick 2019-01-23 00:02:49 -08:00
parent 74f6b11947
commit 1d9c6d7ae0
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 20 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
refinement/tests/RefinementTests.hs
View File

@ -180,11 +180,13 @@ mkTestCase (VerboseLogging beVerbose) testinp =
TTH.testCase (name testinp) $ do
bs <- BS.readFile (binaryFile testinp)
case E.parseElf bs of
E.Elf64Res warnings elf -> mapM_ print warnings >> withElf elf
E.Elf64Res warnings elf -> mapM_ print warnings >> withElf64 elf
E.Elf32Res warnings elf -> mapM_ print warnings >> withElf32 elf
_ -> let badMsg = binaryFile testinp <> " is not a 64-bit ELF file"
in do when beVerbose $ putStrLn badMsg
TTH.assertBool badMsg False
where withElf elf =
where
withElf64 elf =
case E.elfMachine elf of
E.EM_PPC64 -> do
bin <- MBL.loadBinary @PPC64.PPC ML.defaultLoadOptions elf
@ -193,7 +195,14 @@ mkTestCase (VerboseLogging beVerbose) testinp =
E.EM_X86_64 ->
withBinaryDiscoveredInfo testinp {- (showDiscoveryInfo testinp) -} MX86.x86_64_linux_info =<<
MBL.loadBinary @MX86.X86_64 ML.defaultLoadOptions elf
_ -> error "only X86 and PPC64 supported for now"
m -> error $ "no 64-bit ELF support for " ++ show m
withElf32 elf =
case E.elfMachine elf of
E.EM_PPC -> do -- 32 bit
bin <- MBL.loadBinary @PPC32.PPC ML.defaultLoadOptions elf
let pli = ppc32_linux_info bin
withBinaryDiscoveredInfo testinp pli bin
m -> error $ "no 32-bit ELF support for " ++ show m
withBinaryDiscoveredInfo :: ( X.MonadThrow m
, MBL.BinaryLoader arch binFmt