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

Fix error in resolving symbols.

Browse Source
This commit is contained in:
Joe Hendrix 2018-01-23 13:38:49 -08:00
parent d1bdff9866
commit eda3c6412a
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base/src/Data/Macaw/Memory/ElfLoader.hs
View File

@ -514,7 +514,7 @@ resolveElfFuncSymbol mem secMap idx ste
case Map.lookup (Elf.steIndex ste) secMap of
Just (base,sec)
| elfSectionAddr sec <= val && val < elfSectionAddr sec + Elf.elfSectionSize sec
, off <- toInteger (elfSectionAddr sec) - toInteger val
, off <- toInteger val - toInteger (elfSectionAddr sec)
, Just addr <- incSegmentOff base off -> do
Just $ Right $ MemSymbol { memSymbolName = Elf.steName ste
, memSymbolStart = addr