ucsb-seclab greed issues

ucsb-seclab / greed

A symbolic execution engine for EVM smart contract binaries.

https://ucsb-seclab.github.io/greed/

MIT License

73 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Small enhancement in lambda_memory.py

#25 khvitri opened 1 week ago
0
AssertionError: Invalid bv_unsigned_value of non constant bitvector

#24 Wzy-source closed 1 month ago
7
Ubuntu22.04 requires additional package

#23 ph4ge closed 3 months ago
1
When possible, read in chunks when using readn

#22 robmcl4 closed 3 months ago
1
Fix tests

#21 robmcl4 closed 4 months ago
0
Make solver stop on ctrl+c (instead of hanging...)

#20 robmcl4 closed 4 months ago
0
Switch statement ordering to use TAC_Statement_Next relation

#19 robmcl4 closed 5 months ago
0
Adds serialize / deserialize Yices2 solver states via pickle

#18 robmcl4 closed 5 months ago
1
Fix Inconsistent stmt_sort_key function in TAC_parser.py

#17 haliliceylan closed 5 months ago
4
Adds dump to smt2 support.

#16 robmcl4 closed 5 months ago
0
Running greed fails with `assert w3.is_connected()`

#15 RaoulSchaffranek closed 8 months ago
3
Add a sanity check for CALLPRIVATE argument count match

#14 robmcl4 closed 8 months ago
0
update layout & add a pyproject.toml

#13 robmcl4 opened 8 months ago
1
Partial Concrete Storage precision

#12 degrigis opened 9 months ago
0
change `add_path_constraints` -> `add_path_constraint`

#11 robmcl4 closed 9 months ago
0
Change contract bytecode location to bytecode.hex

#10 robmcl4 closed 9 months ago
2
Add a handful of type-hint annotations.

#9 robmcl4 closed 9 months ago
0
Remove annoying pysha dependency

#8 robmcl4 closed 9 months ago
0
implement dynamic bounding strategy for calldata bytes that represent a "size" or "pointer"

#6 ruaronicola opened 1 year ago
0
concrete memset and memcopy should behave like multiple STORES and not create a new lambda memory layer

#4 ruaronicola opened 1 year ago
0
keep solver state in the "right" branch

#3 ruaronicola opened 1 year ago
0
TAC_BaseCall should modify state.returndata["data

#2 degrigis opened 1 year ago
0
Integrate Interleaved Symbolic Execution for external interactions

#1 degrigis opened 1 year ago
1