Skip to content

Support for relocatables #19

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 118 commits into
base: master
Choose a base branch
from
Draft

Support for relocatables #19

wants to merge 118 commits into from

Conversation

maturvo
Copy link
Collaborator

@maturvo maturvo commented Jul 20, 2025

  1. Dumping the relocatable ELF file with interpreted DWARF (analyse)
  2. Symbolic execution - using symbolic section base addresses
  3. Basic simulation to verify "semantic relocatability"

Depends on linksem#32 and isla#94

maturvo added 30 commits January 2, 2025 19:52
@maturvo
Parse relocatable file (hacky handling of relocations)
7e5a0dd
@maturvo
Update config
ecb6af3
@maturvo
Symbolic symbol table
7514a8a
@maturvo
Convert to symbolic addresses to make things compile
58091d7 
TODO complete the logic
@maturvo
DIsable typing
03ce63b
@maturvo
Refactor (symbolic) address to separate module
2614846
@maturvo
Symbolic runner (TODO parsing symbolic addresses from SMT)
fd2c3ff
@maturvo
Run relocatable file
d42ecf0 
TODOS:
- translations from/to SMT
- relocations
- translations from DWARF
- provenance or concrete SP
- simplify read addresses
@maturvo
Enable typer
fbd7c07
@maturvo
Some debug prints
49ffe70
@maturvo
Mark potential bug
3f0498b
@maturvo
Add TODO
e4485cd
@maturvo
Implement opcodes with relocations
4ef12a1
@maturvo
[WIP] read relocations from linksem
8dd5040
@maturvo
[WIP] relocations from linksem
d11e65a
@maturvo
WIP instructions with relocations
8d1db3e
@maturvo
WIP
8722715
@maturvo
[WIP] symbolic traces
2d5379f
@maturvo
Store segments with instruction
36f7741
@maturvo
WIP eval relocations
90b3ac8
@maturvo
Symbolic section addresses
34824b1
@maturvo
Fix cache
897e638
@maturvo
Make PC symbolic in isla
88cb340
@maturvo
Symbolic PC
ebf0b27
@maturvo
WIP
dde2e98
@maturvo
wip
516f4f1
@maturvo
todo
3832eb4
@maturvo
Smarter context full simplifier
83414d1
@maturvo
Simplify relocated addresses
75185ee
@maturvo
Fix immediate encoding
ad13b15
maturvo and others added 30 commits May 13, 2025 01:48
@maturvo
Simrel (#2)
1fa15c3 
* wip

* wip

* Debug prints

* wip

* Refactor simrel

* Global memory processing

* fixes

* better printing

* cleanup
@maturvo
Fix analyse (#3)
0d7f6b1
@PeterSewell
Merge pull request #18 from maturvo/master
d93683b 
pull Matej Urban's relocation support from maturvo/read-dwarf master to a new "reloc" branch of rems-project/read-dwarf
@PeterSewell
fix syntax for parsing objdump with %-separated relocations
1155731
@maturvo
Fix loading files
43d8f0a
@maturvo
wip
b5b2700
@maturvo
Parse both executable and relocatable files
ab8fb02
@maturvo
Allow both absolute and section-relative addresses (wip)
a69e2d0 
the executor still expects pc values to be section-relative
@maturvo
Executor: accept absolute pc address
c10e465
@maturvo
remove old todos
1cafb80
@maturvo
Enable run-instr
6a6fee9
@maturvo
Allow parsing absolute addresses
320f764
@maturvo
Comment on bit sizes used by relocation expressions
34cbb38
@maturvo
Use 0 as initial last_pc value (less ambiguous)
9a414ea
@maturvo
Resolve TODO
e8166a6
@maturvo
Reloc byte seq
97e188a
@maturvo
Use RelocByteSeq
b0efce6
@maturvo
Use RelocBytesSeq in Elf.Segment
da3095e
@maturvo
Enable run-bb
935547d
@maturvo
Remove leftover debugging stuff
ed23d3d
@maturvo
cleanup todo
92ef1a6
@maturvo
Rename sections -> relocatable_sections and clarify its usage
db289a0 
It contains a list of sections whose addresses need to be represented symbolically
@maturvo
Reintroduce global fragment for all ELF sections
a84ce4c
@maturvo
Fix form of PC value
652931b 
The executor expects exactly the form section+offset, but previously it was set to section[63:0]+offset
@maturvo
Fix: stop emiting error about values being typed constexpr
85b24f7
@maturvo
Allow running isla test with relocations
d9fb48a
@maturvo
Remove "horrible hack"
16d01d1
@maturvo
Warn about weird lines in objdump
a0aada1
@PeterSewell
add nm to isla_aarch64.toml, following isla/configs/armv8p5.toml
f7a5691
@PeterSewell
wib
af9d06a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@maturvo @PeterSewell