issues
search
nevillegrech
/
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Other
295
stars
61
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update sigs
#51
sifislag
closed
1 year ago
0
Can detection rules be automatically generated?
#50
lwy0518
closed
1 year ago
2
Introduce precise fallback decompiler configuration
#49
sifislag
closed
1 year ago
2
Support for memory structs, various small fixes and optimizations
#48
sifislag
closed
1 year ago
0
The compilation time is so long
#47
fCorleone
closed
1 year ago
1
Add test cases [WIP], memory modeling fixes and improvements
#46
sifislag
closed
2 years ago
0
Analytics returning 0 for all outputs
#45
kalanyuz
opened
2 years ago
2
Possible missing events from output
#44
machete-michael
closed
1 year ago
15
Change default decompilation pipeline to be more scalable.
#43
sifislag
closed
2 years ago
0
prevent symbolic_value from saturating integers
#42
snf
closed
11 months ago
3
Update publish-m1-docker.yml
#41
iliastsa
closed
2 years ago
0
feat/simplify-dockerfile
#40
iliastsa
closed
2 years ago
0
Flow analysis + memory modeling
#39
snf
opened
2 years ago
4
Remove ByteCodeHex input directive
#38
iliastsa
closed
2 years ago
0
Dockerfile for ARM machines and script for building the proper gigahorse image according to the underlying architecture.
#37
andripol
closed
2 years ago
1
Simplify Dockerfile
#36
iliastsa
closed
2 years ago
0
Fix/dockerfile and run commands
#35
andripol
closed
2 years ago
1
Fix gigahorse dockerfile and execution script
#34
andripol
closed
2 years ago
0
Cannot compile on Mac
#33
Divide-By-0
closed
1 year ago
4
Souffle v2 2
#32
trv-cs
closed
2 years ago
0
Context Sensitivity Refactor, Early Block cloning feature, and more
#31
sifislag
closed
2 years ago
0
Function call not inferred
#30
sifislag
closed
1 year ago
0
Revert "Input and Guard Macros to Support Multi-Contract Analysis"
#29
trv-cs
closed
2 years ago
1
Can't compile contract
#28
metrocoding
closed
2 years ago
6
Input and Guard Macros to Support Multi-Contract Analysis
#27
trv-cs
closed
2 years ago
0
cannot run the example
#26
smartcontract-detect-yzu
closed
2 years ago
9
Update souffle version in dockerfile
#25
HikariShine
closed
2 years ago
1
typo
#24
snf
closed
2 years ago
1
Update gigahorse.py to inherit custom LD_LIBRARY_PATH
#23
alkorang
closed
2 years ago
3
Fix type problems in Gigahorse
#22
b-scholz
closed
3 years ago
3
Fix delimiters in facts file
#21
XiaowenHu96
closed
3 years ago
2
Indirect Jump In TAC
#20
XiaowenHu96
closed
3 years ago
4
Fix the transformation for conditional throw jumps (old THROWI statements)
#19
sifislag
closed
3 years ago
0
PHI insetion in the TAC representation.
#18
XiaowenHu96
opened
3 years ago
0
Result differs when running Gigahorse manually
#17
XiaowenHu96
closed
3 years ago
2
Add control-flow related components. Recognize OZ-style reentrancy guards.
#16
sifislag
closed
3 years ago
0
New visualization script
#15
iliastsa
closed
3 years ago
0
Various decompiler changes (CanReachUnderContext, FunctionReturnIsStackBalanceBlock, use of limitsize is optional)
#14
sifislag
closed
3 years ago
0
Running Gigahorse Manually: Cannot open fact file MaxContextDepth.csv
#13
XiaowenHu96
closed
3 years ago
1
Pathological contract example
#12
beaugunderson
closed
2 years ago
5
Pretty-printed output format?
#11
beaugunderson
closed
2 years ago
8
no such file or directory decompiler_compiled
#10
taylorgag
closed
3 years ago
13
Update gigahorse.py
#9
darkn0mad
closed
3 years ago
3
Warning: Variable newContext only occurs once in file transactional-context.dl at line 113
#8
darkn0mad
closed
3 years ago
3
Improvements on the function inference logic.
#7
sifislag
closed
3 years ago
0
FileNotFoundError: [Errno 2] No such file or directory: 'decompiler_compiled'
#6
woods1060
closed
3 years ago
3
simplify functional reasoning
#5
nevillegrech
closed
4 years ago
0
Transformation experiments
#4
nevillegrech
closed
4 years ago
0
Decompiler experiments
#3
nevillegrech
closed
4 years ago
0
Decompiler experiments
#2
nevillegrech
closed
4 years ago
0
Previous
Next