Giters
muellerberndt
/
laser-ethereum
Symbolic virtual machine for Ethereum
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
68
Watchers:
6
Issues:
24
Forks:
20
muellerberndt/laser-ethereum Issues
how to use sym_exec() now
Closed
2 years ago
ꜱʜʟ and ꜱʜʀ are missing…
Updated
4 years ago
Comments count
2
NameError: name 'BitVec' is not defined
Closed
6 years ago
Comments count
3
'Disassembly' object has not attribute 'addr_to_func'
Closed
6 years ago
Comments count
2
No real value exists in class environment
Updated
6 years ago
Comments count
1
Codesize only modelled as instruction length and missing constants
Updated
6 years ago
Comments count
1
Ethereum bytecode execution
Closed
6 years ago
Comments count
3
current and expected outputs are not matching
Updated
6 years ago
Comments count
1
laser.ethereum.svm's BitVec calls cause child process crash on the Arch linux-hardened kernel
Closed
6 years ago
Comments count
5
Can't install
Closed
6 years ago
Comments count
2
Unknown operation taint
Updated
6 years ago
Comments count
2
No real intercontract concolic execution
Updated
6 years ago
Comments count
1
Possible incorrect parameter passed to _sym_exec call
Closed
6 years ago
Comments count
1
Taint analysis
Closed
6 years ago
ImportError: No module named 'mock'
Closed
6 years ago
Comments count
1
Implement gas simulation
Updated
6 years ago
Improve handling of function returns
Updated
6 years ago
No matching distribution found for laser-ethereum>=0.17.5 (from mythril)
Closed
6 years ago
Comments count
1
Confusing 'SLOAD' op handling
Closed
6 years ago
Comments count
1
Wrong "ADDRESS" opcode handling
Closed
6 years ago
Comments count
2
Implement taint checking
Closed
6 years ago
Comments count
1
Module name shadows imported package
Updated
6 years ago
List index out of range with program counter
Closed
7 years ago
Comments count
2
Implement native contracts
Updated
7 years ago