Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/chi-research/symbolic-searcher
/ functions
Functions
9 in github.com/chi-research/symbolic-searcher
⨍
Functions
9
◇
Types & classes
1
↓ 4 callers
Method
format_hex_loc
Returns index formatted as 2-byte hex string location, e.g. "05ac" Returns: 4-character str
run.py:185
↓ 2 callers
Method
process_bin_str
(self, bin_str)
run.py:34
↓ 1 callers
Method
build_mod_bin
(self)
run.py:112
↓ 1 callers
Method
debug_print
(self)
run.py:193
↓ 1 callers
Method
get_stop_sections_in_base_bytes
Returns list of indices (i, j) corresponding to sections of (JUMPDEST ... STOP) in base_bytes Returns: List[Tuple[Int, Int]]
run.py:48
↓ 1 callers
Method
get_valid_jumpdests_in_inject_bytes
Returns list of tuples (i, occurrences = [j1, j2...]) for all indices i where there is a JUMPDEST at index i of inject_bytes and all
run.py:81
↓ 1 callers
Method
replace_hex_index
Modify a hex bytestring to replace 2-byte hex find_index with 2-byte hex replace_index Returns: str
run.py:148
↓ 1 callers
Method
replace_jumplocs_with_offsets
Return a modified bytestring where valid jump locations are offset Returns: str
run.py:160
Method
__init__
(self, base_bin, inject_bin)
run.py:13