Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upslither-simil implementation draft #666
Draft
Conversation
slither-check-kspec
Remove add*_json function
Make generate_json_result generating the JSON elements automatically
Add unique ID per finding
- Shorten the list of detectors - Add reference to Crytic - Shorten and order printers - Add tools description - Add Slither academic paper
Slither printer and API for getting evm instructions for contract source
Contract summary: Show upgreadble information (fix #358) and if the contract is a most derived one Contract: add is_upgradeable/is_upgradeable_proxy properties Parsing: add inline assembly source code to the node
Improvements on the contract summary
Uninitialized state variable detector: remove FP due to delegatecall proxy
Refactor README:
Install by pip does not work in Macos
Add a reference to the crytic research prize
Updated pip3 for Macos
Add fallback/receive as shadowed builtin
Human summary printer: Fix information incorrectly printed
- Add utils.tests_pattern functions - Add contract.is_test - Add contract.is_token / contract.is_possible_token - Add pragma.is_abi_encoder_v2 - Standard library: add support for @openzepeelin/contracts package - Improve human summary printer: - Use the added API - Use MyPrettyTable - Add features collumn
Add new APIs and improve human summary printer
Add support for abi.decode on array
Add better fixpoint on are_variables_written
…taset and compare input function's similarity with.
…n the last commit triggered having a new modified encode_contract function for train procedure as well.
…ll contracts in a directory.
…te through all the contract / function pairs compiled in a directory.
…ocess input files recursively, and process multiple .zip / .sol files as well.
…lient-related; public datasets to be added in the next commit.
| There is a wiki page available for `slither-simil` on this [page.](https://github.com/crytic/slither/wiki/Code-Similarity-detector) | ||
|
|
||
|
|
||
| ## Installation adn Setup |
FlashSheridan
Oct 26, 2020
“adn” should presumably be “and”.
“adn” should presumably be “and”.
|
|
||
| Take the `output.csv` file and the `datasets/15kdump_model.bin` file already in the repository and use it as follows: | ||
| ``` | ||
| slither-simil test [datasets/15kdump_model.bin] --filename [file_name; can be a singleton file name or a directory path containing multiple smart ontracts either in .sol or .zip formats or a c ombincation of both] --fname [function_name with or without the preciding contract name (as in contractname[.]functionname) or a simple dot mark, meaning all the functions in the contracts provided by the previous argument flag;] --input [cache.npz or output.csv] --ntop [n; an ineteger; e.g. 3] |
FlashSheridan
Oct 26, 2020
- “ontracts” should be “contracts”
- “c ombincation” should be “combination”
- “preciding” should be “preceding”
- “flag;”: The semicolon is not needed, and semicolons on the command line make me nervous, even if they are supposed to be removed.
- “ineteger” should be “integer”
- “ontracts” should be “contracts”
- “c ombincation” should be “combination”
- “preciding” should be “preceding”
- “flag;”: The semicolon is not needed, and semicolons on the command line make me nervous, even if they are supposed to be removed.
- “ineteger” should be “integer”
spilehchiha
force-pushed the
spilehchiha:slither-simil-draft
branch
from
11b39e7
to
58086f9
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.
This is the initial commit for the most up-to-date implementation of
slither-simil.Everything client-related has been removed and public datasets in the form of train / dev / test datasets will be added in the next commit.