Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

create vm diff fuzzer #1358

Merged
merged 93 commits into from
Aug 30, 2023
Merged

create vm diff fuzzer #1358

Show file tree
Hide file tree
Changes from 89 commits
Commits
Show all changes
93 commits
Select commit Hold shift + click to select a range
1d97172
create vm diff fuzzer
dafifynn Aug 2, 2023
86bf958
Working fuzzer
Aug 3, 2023
d73ea83
Change name and paths
Aug 3, 2023
2fa9a1b
Delete moved files
Aug 3, 2023
710d8b8
Add deps and run commands
Aug 3, 2023
5cea92b
Merge branch 'main' into vm-diff-fuzzer
Juan-M-V Aug 3, 2023
7b1b6bf
Add info to readme
Aug 3, 2023
a705f86
Merge branch 'vm-diff-fuzzer' of github.com:lambdaclass/cairo-vm into…
Aug 3, 2023
f196438
Merge branch 'main' into vm-diff-fuzzer
Juan-M-V Aug 4, 2023
094b133
Prototype new fuzzer
Aug 4, 2023
bd28491
generalize program
dafifynn Aug 4, 2023
af5f1a9
Add cairo program generator
Aug 7, 2023
1c8f1e1
Merge branch 'vm-diff-fuzzer' of github.com:lambdaclass/cairo-vm into…
Aug 7, 2023
3b23e36
Integrate with diff fuzzer
Aug 7, 2023
d6c35b8
generalize program
dafifynn Aug 7, 2023
d945eed
Integrate gen + fuzzer
Aug 7, 2023
c83cd63
Consider felt case
Aug 7, 2023
fa3da20
generalize parsing for structs and felts
dafifynn Aug 7, 2023
0b49a6f
Add inout vars case
Aug 7, 2023
fdd9449
Add inout vars case
Aug 7, 2023
da1ffad
add select rand hint code
dafifynn Aug 7, 2023
3e1f1d4
Get random hints
Aug 7, 2023
ce7e6a8
Delete uint256_mul_div_mod.cairo
Juan-M-V Aug 7, 2023
4fb18d5
Change fuzzer name
Aug 7, 2023
9354138
Consider more terminations
Aug 8, 2023
8916de2
Change return line
Aug 8, 2023
bc36849
Merge branch 'main' of github.com:lambdaclass/cairo-vm into vm-diff-f…
Aug 8, 2023
08406da
Merge branch 'main' into vm-diff-fuzzer
dafifynn Aug 8, 2023
5ccb702
filter hints to try
dafifynn Aug 8, 2023
e399f41
Begin direct mem comparison
Aug 9, 2023
7bb38ce
Merge branch 'vm-diff-fuzzer' of github.com:lambdaclass/cairo-vm into…
Aug 9, 2023
e328bdd
Take any line
Aug 9, 2023
3979a67
Merge branch 'vm-diff-fuzzer' of github.com:lambdaclass/cairo-vm into…
Aug 9, 2023
86963ce
Consider struct fields called after var
Aug 9, 2023
c92dc89
Remove prefix after picking dictionary
Aug 9, 2023
f91832c
Remove print
Aug 9, 2023
4af6ead
Consider pack case
Aug 9, 2023
8809190
Replace for space instead of deleting
Aug 9, 2023
9d2effc
Consider ( after variable
Aug 9, 2023
50ff613
Add constants definition
Aug 9, 2023
3079ac9
add extra hint
dafifynn Aug 9, 2023
2002751
Merge conflicts
Aug 10, 2023
b3ac592
Check not keccak works and document
Aug 10, 2023
c14633c
fix syntaxis error
dafifynn Aug 10, 2023
9b86391
add error handling
dafifynn Aug 10, 2023
ece2754
fix error handling
dafifynn Aug 10, 2023
1f6dd1f
Refactor cairo_program_gen
Aug 11, 2023
4743816
Merge with origin
Aug 11, 2023
5281a01
Use replace token
Aug 11, 2023
2ba9712
Use replace token
Aug 11, 2023
6bb6f89
Fix parenthesis
Aug 11, 2023
14a1ad5
Reduce replacing
Aug 11, 2023
10cb173
Merge with main
Aug 11, 2023
9a96ba6
add documentation
dafifynn Aug 14, 2023
f908e22
Consider variable in func case
Aug 15, 2023
832d04e
Remove debugging
Aug 15, 2023
54a2fa0
Merge branch 'generate-cairo-for-diff' of github.com:lambdaclass/cair…
Aug 15, 2023
08d715d
Merge branch 'vm-diff-fuzzer' of github.com:lambdaclass/cairo-vm into…
Aug 15, 2023
2a780b2
Load all jsons once
Aug 16, 2023
07ca7f1
Merge branch 'main' of github.com:lambdaclass/cairo-vm into vm-diff-f…
Aug 16, 2023
9267f7c
Fix ids.a.field+3 case
Aug 16, 2023
f6e312c
Add case for constants
Aug 17, 2023
19fc3fe
Merge branch 'main' of github.com:lambdaclass/cairo-vm into vm-diff-f…
Aug 17, 2023
e3515f1
Merge branch 'main' into vm-diff-fuzzer
Juan-M-V Aug 18, 2023
d594246
Merge branch 'main' of github.com:lambdaclass/cairo-vm into vm-diff-f…
Aug 18, 2023
c7d371d
Merge branch 'vm-diff-fuzzer' of github.com:lambdaclass/cairo-vm into…
Aug 18, 2023
e247820
Correct main fuzzer readme
Aug 18, 2023
66272d8
Spelling diff fuzzer docu
Aug 18, 2023
1c53ef0
Clarify 2. in diff fuzzer docu
Aug 18, 2023
fac0d1c
Add make deps step
Aug 18, 2023
659887d
Specify constants and cairo structs importing
Aug 18, 2023
173d4b5
Add maturing to deps
Aug 18, 2023
02debcd
Update Makefile
Juan-M-V Aug 18, 2023
f6dad4f
Correct makefile
Aug 18, 2023
66f8abf
Correct makefile
Aug 18, 2023
215e4ee
Add missing memory checker module
Aug 18, 2023
48c220e
Remove initial var declarations
Aug 18, 2023
7dddd5f
Merge branch 'main' of github.com:/lambdaclass/cairo-vm into vm-diff-…
Aug 24, 2023
14060da
Update changelog
Aug 24, 2023
7a888a4
Run cargo fmt
Aug 24, 2023
822cf87
Use ast for parsing
Aug 28, 2023
c9f114f
Document cairo_program_gen
Aug 28, 2023
8ae61bc
Remove commented code
Aug 28, 2023
09c95d1
Update Changelog
Aug 28, 2023
529ad2d
Update readme doc
Aug 28, 2023
1b564b2
Get hints from VM code
Aug 30, 2023
7eb0ca2
Merge with main
Aug 30, 2023
fe4f228
Change make command name
Aug 30, 2023
793f787
Make interrupting more reliable
Aug 30, 2023
e14a086
Add targets to PHONY
Juan-M-V Aug 30, 2023
8334165
assignment -> assignments
Juan-M-V Aug 30, 2023
768c0d9
add with
Juan-M-V Aug 30, 2023
7737349
importing -> to be imported
Juan-M-V Aug 30, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@

#### Upcoming Changes

* feat: Added a differential fuzzer for programs with whitelisted hints [#1358](https://github.com/lambdaclass/cairo-vm/pull/1358)

* fix: Change return type of `get_execution_resources` to `RunnerError` [#1398](https://github.com/lambdaclass/cairo-vm/pull/1398)

* Don't build wasm-demo in `build` target + add ci job to run the wasm demo [#1393](https://github.com/lambdaclass/cairo-vm/pull/1393)
Expand Down
13 changes: 11 additions & 2 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -309,9 +309,18 @@ clean:
rm -rf cairo1
rm -rf cairo2

fuzzer-deps:
fuzzer-deps: build
cargo +nightly install cargo-fuzz
. cairo-vm-env/bin/activate; \
pip install atheris==2.2.2 maturin==1.2.3; \
cd fuzzer/; \
maturin develop

run-cairo-compiled-fuzzer:
fuzzer-run-cairo-compiled:
cd fuzzer
cargo +nightly fuzz run --fuzz-dir . cairo_compiled_programs_fuzzer

fuzzer-run-hint-diff:
. cairo-vm-env/bin/activate ; \
cd fuzzer/diff_fuzzer/; \
../../cairo-vm-env/bin/python random_hint_fuzzer.py -len_control=0
Loading
Loading