issues
search
muellerberndt
/
laser-ethereum
Symbolic virtual machine for Ethereum
MIT License
68
stars
20
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
how to use sym_exec() now
#44
Accelerator-jpg
closed
2 years ago
0
ꜱʜʟ and ꜱʜʀ are missing…
#43
ytrezq
opened
4 years ago
2
'Disassembly' object has not attribute 'addr_to_func'
#42
unboxedtype
closed
5 years ago
2
Codesize only modelled as instruction length and missing constants
#41
konradweiss
opened
6 years ago
1
Ethereum bytecode execution
#40
arun-munagala
closed
6 years ago
3
No real value exists in class environment
#39
KennyFood
opened
6 years ago
1
current and expected outputs are not matching
#38
norhh
opened
6 years ago
1
Revert "State individual contexts"
#37
muellerberndt
closed
6 years ago
1
State individual contexts
#36
JoranHonig
closed
6 years ago
0
svm: bugfix for symbolic memory index in op CALL & CALLCODE
#35
p0n1
closed
6 years ago
0
remove state-specific fields from LaserEVM object
#34
suhabe
closed
6 years ago
0
NameError: name 'BitVec' is not defined
#33
arun-munagala
closed
6 years ago
3
No real intercontract concolic execution
#32
konradweiss
opened
6 years ago
1
Make depth and constraints variables part of a state
#31
suhabe
closed
6 years ago
0
Possible incorrect parameter passed to _sym_exec call
#30
suhabe
closed
6 years ago
1
ImportError: No module named 'mock'
#29
suhabe
closed
6 years ago
1
Add returndatasize op to taint analysis
#28
JoranHonig
closed
6 years ago
0
Taint analysis
#27
JoranHonig
closed
6 years ago
0
Add the basic support for BYTE opcode
#26
ghost
closed
6 years ago
1
Unknown operation taint
#25
JoranHonig
opened
6 years ago
2
Improve handling of function returns
#24
muellerberndt
opened
6 years ago
0
fix op implemention about contract function call
#23
p0n1
closed
6 years ago
1
Bugfix
#22
JoranHonig
closed
6 years ago
1
No matching distribution found for laser-ethereum>=0.17.5 (from mythril)
#21
ksloven
closed
6 years ago
1
Increase depth parameter
#20
JoranHonig
closed
6 years ago
0
Bugfixes
#19
JoranHonig
closed
6 years ago
8
Taint analysis implementation
#18
JoranHonig
closed
6 years ago
0
Implement taint checking
#17
JoranHonig
closed
6 years ago
1
Confusing 'SLOAD' op handling
#16
p0n1
closed
6 years ago
1
Module name shadows imported package
#15
joshuata
opened
6 years ago
0
Wrong "ADDRESS" opcode handling
#14
p0n1
closed
6 years ago
2
Adds attrs to setup.py
#13
joshuata
closed
6 years ago
0
Revert "Moves to pipenv / Pipfile and attrs"
#12
muellerberndt
closed
6 years ago
0
Moves to pipenv / Pipfile and attrs
#11
joshuata
closed
6 years ago
3
try fix storage change for op SLOAD
#10
p0n1
closed
6 years ago
0
Adds CircleCI configuration for CI
#9
birdofpreyru
closed
6 years ago
0
Improve tests
#8
freewind
closed
6 years ago
0
Improve tests, save outputs of tests to temp file for better viewing …
#7
freewind
closed
6 years ago
2
Adding tests
#6
freewind
closed
6 years ago
8
Implement gas simulation
#5
muellerberndt
opened
6 years ago
0
Implement native contracts
#4
muellerberndt
opened
6 years ago
0
Can't install
#3
mimoo
closed
6 years ago
2
laser.ethereum.svm's BitVec calls cause child process crash on the Arch linux-hardened kernel
#2
ghost
closed
6 years ago
5
List index out of range with program counter
#1
GNSPS
closed
6 years ago
2