Inkscope Fuzzer 0.0.1 #41
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Contributor
feliam
commented
May 17, 2024
•
feliam
commented
- Runs directly on Ink!
- Detects properties
- Use ABI to generate random input
- Test for properties or traps
- Minimize resultant traces for easy repro
- Configuration in yaml
- UX: TUI and Console
- Examples and documentation provided
* initial CI (empty) * Linted
* feat: Minimal command line parsing with clap * Move tests to their own module --------- Co-authored-by: 0xLucca <0xlucca.dev@gmail.com>
Co-authored-by: Felipe Manzano <felipe.andres.manzano@gmail.com>
* Update CI workflow to include develop branch * Make clippy happy
* reformatted * Remove unused import --------- Co-authored-by: 0xLucca <0xlucca.dev@gmail.com>
* Test hf input * Clippy
* Move cli to its own module * Fix test * Move input and set_storage * Move seal0_value_transferred * Move seal_return * Add new modules and types * Create executor * Delete unused traits
* Add drink * Clean project
* Add Rayon * Use modified drink version * Load contract from each thread
* Planning and testing stuff * Drinking a sip * Initial attempt to encoded fuzzed generation * Main loop * So close, so far away * Make it compile --------- Co-authored-by: 0xLucca <0xlucca.dev@gmail.com> Co-authored-by: 0xLucca <95830307+0xLucca@users.noreply.github.com>
* Initial cached fuzz loop
* Refactoring the Fuzzer Trace * Refactor arguments-generator and test * Extract cli to its own module * Add scripts for making testing easier * Fix session handling * Move scripts to test-contracts * Make clippy less angry * Apply cargo fmt --------- Co-authored-by: 0xLucca <0xlucca.dev@gmail.com>
* Return failed property traces * Add print campaign result * Make reverts rollback and continue * Update BUG_VALUE constant to 15 * Non needed struct * Update readme and delete unused tests * Move max rounds and fail_fast to the config.yaml * Merge fix moving failfast/max_rounds to config * No deps in the CI * Add fail_fast option to config.yaml * Update drink dependency to specific revision * Slightly better Output * Fix the default config yaml * Fix config default * Update readme * REmove some repetition in the readme * Track Cargo.lock --------- Co-authored-by: Felipe Manzano <felipe.andres.manzano@gmail.com>
* Add comments and fix check_properties fn * Add tests * Replace build.sh with build.py * Add README to Coinfabrik Test Contracts * Add test * Apply cargo-fmt and refactor test_contract
* Added Generator unittests
* Add panic and revert handler, tests and cargo-fmt * Refactor execute_message and execute_deploy * Replace impl into to from * Add comment
* Update CI * Add CI workflows * Add rust-src to workflow * Make CI happy
* Add iterators_over_indexing test * Add tempfile crate and fix test * Update CI workflow names * Add assert_violation test * Update default accounts in order to not use account 0x0 as caller * Add zero_or_test_address test and add account_id generation
* WIP: migrate drink to ink_sandbox * Finish migration * Apply cargo-fmt * Fix Cargo.toml dependencies * Stop tracking Cargo.lock
* Deleted cargo locks * Deleted internal .gitignore * Adding lock to gitignore
* Add Dockerfiles * Update README.md * Update config handling * Remove config.yaml from Dockerfiles * Update docker run commands in readme * Addded ALIAS to docker config --------- Co-authored-by: Felipe Manzano <felipe.andres.manzano@gmail.com>
* wip: Add mdbook for documentation * Add ityfuzz example * Add writing properties section * Update docker usage
Add mdbook CI
* Remove old commented out code * Wip - Step function * Make it compile * Add docker (#34) * Add Dockerfiles * Update README.md * Update config handling * Remove config.yaml from Dockerfiles * Update docker run commands in readme * Addded ALIAS to docker config --------- Co-authored-by: Felipe Manzano <felipe.andres.manzano@gmail.com> * Add md book (#35) * wip: Add mdbook for documentation * Add ityfuzz example * Add writing properties section * Update docker usage * Create mdbook.yml Add mdbook CI * Fix book CI (#36) * Remove clone() and add fork() * Add a configurable initial seed value * WIP optimize refactor * execute_last rename refactor * DeployOrMessage refactor * CacheEntry refactor and cargo fmt * WIP, better data structures for the cache and trace management * Refactor TraceResult * FailedTrace vec refactor * Removed unhandled * WIP: Optimize 1 working example * WIP: Optimize 1 working example - formatted * PAssing tests for traces with only a deploy message * Remove unused fn * Implement PartialOrd * Make clippy happy * better doc * Better optimization code * Cargo fmt * Typo in comment --------- Co-authored-by: Felipe Manzano <felipe.andres.manzano@gmail.com>
Added an Output api to control the UI from the engine Added 2 implementations for the UI: TUI(using ratatui) and a simple console
* Added screenshot via web * Update Readme and mdbook * Add fuzzer exit * Linting the clone_from --------- Co-authored-by: 0xLucca <0xlucca.dev@gmail.com>
0xLucca
approved these changes
May 17, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.