Skip to content
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

Go and Rust support #437

Merged
merged 58 commits into from
Nov 13, 2024
Merged

Go and Rust support #437

merged 58 commits into from
Nov 13, 2024

Conversation

blattm
Copy link
Collaborator

@blattm blattm commented Aug 28, 2024 •
edited
Loading

This code improves dewolf's code quality for Go and Rust binaries.

Features:

  • Go prologue removal
  • Improved, symbol independent canary removal
  • Generic boilerplate removal (useful for, but not limited to Rust)
  • String Slicer Integration for Rust strings

Todo:

  • StringSlicer options
  • Generic Boilerplate options
  • format
  • docstrings
  • clean left over TODOs and comments

Questions for reviewer:

  • Which new stages should be on by default?
  • Best order for the new stages?

blattm and others added 30 commits August 22, 2024 14:13
@blattm
go prologue handling
0d32696
@blattm
check for address operator in go prologue
6d8d571
@blattm
include old go call convention go prologues
8212ac0
@blattm
match stackguard0 reference for all go versions
a55d11c
@blattm
black
ad5ea02
@blattm
insert comment where go prologue was removed
0a2bf95
@blattm
remove unused import
7ee5762
@blattm
isort
6c636b7
@blattm
move (now generalized) expression matching to util
82586a2
@blattm
rename go prologue removal stage
bb3683f
@blattm
Remove evaluation code for Go prologue stage
495d46b
@blattm
remove unused imports
25516f3
@blattm
remove leftover test code
d337cba
@blattm
remove monkey patching of r14
627996c
@blattm
make go prologue stage configurable
aeb5233
@blattm
Monkeypatch can_return for new lifter
5b74fc7
@blattm
update go prologue removal for Binja 4.0
54f864b
@blattm
Prologue Eval modification
2ffc223
@blattm
integrate string slicer
804b8e0
@blattm
stack canary removal based on fsbase expression
ac79dc0
@blattm
postdominance based boilerplate removal
9ed37cd
@blattm
comments and minor changes
3930244
@blattm
add boilerplate removal to pipeline
56324b0
@blattm
remove leftover line
ddce3fa
@CheeseHunter117 @blattm
Black autoformatting
f3afbb2
@CheeseHunter117 @blattm
Added function to pipeline.preprocessing.util to find unused addres…
591ac1a 
…s in a CFG

Used said function to improve `BasicBlock` creation in `pipeline.preprocessing.remove_noreturn_boilerplate`
@CheeseHunter117 @blattm
util:_unused_addresses now returns negative addresses
e62e75f
@blattm
WIP evaluation of boilerplate removal
1c043b3
@CheeseHunter117 @blattm
Fix bug related to missing can_return field
2966ca7
@blattm
revert changes to symbol lifting
6deddca
@blattm blattm self-assigned this Aug 28, 2024
@blattm blattm marked this pull request as ready for review September 4, 2024 14:39
@ebehner ebehner merged commit 43f49d1 into main Nov 13, 2024
1 of 2 checks passed
@ebehner ebehner deleted the go-rust-new branch November 13, 2024 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@blattm blattm

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@blattm @ebehner @CheeseHunter117