Commit Graph

833 Commits (8298c11bc8cb099d59f80dada9fb2c631888f9df)
 

Author SHA1 Message Date
Josselin 5f256f4761 Merge branch 'dev' of github.com:trailofbits/slither into dev 6 years ago
Josselin 5db1510714 Add human printer example 6 years ago
Josselin 95b09cc708 Merge branch 'dev-printer-human-readable' into dev 6 years ago
Josselin 1048c61185 Merge branch 'dev' into dev-printer-human-readable 6 years ago
Ben Stewart 4f1970351e
Update slither/utils/code_complexity.py 6 years ago
Ben Stewart fb1abacfdc
Update slither/core/declarations/contract.py 6 years ago
Disconnect3d fff9db469a
Update slither/printers/summary/printer_human_summary.py 6 years ago
Disconnect3d c4fcf4ffb9
Update slither/printers/summary/printer_human_summary.py 6 years ago
Disconnect3d f3df6752b9
Update slither/printers/summary/printer_human_summary.py 6 years ago
Disconnect3d acfafee4fe
Update slither/printers/summary/printer_human_summary.py 6 years ago
Disconnect3d 0ca1865f9b
Update slither/utils/code_complexity.py 6 years ago
Disconnect3d 40c9999b10
Update slither/printers/summary/printer_human_summary.py 6 years ago
Josselin e4599ed940 Fix incorrect read information for assignement 6 years ago
Feist Josselin 50fa7fd8ef
Merge pull request #74 from rmi7/normalize-detectors-json-output-function-properties 6 years ago
Alexander Remie 591dd99e9a regenerate expected json output of tests 6 years ago
Alexander Remie 17bd0ea5d3 normalize detectors json output function properties: func, function, function_name -> function | funcs, functions -> functions 6 years ago
Josselin 375e56e282 Add Uninitialized local variable detector 6 years ago
Josselin 12a52f0ffa Fix incorrect pragma json output 6 years ago
Josselin 70e0318b90 Merge commit '693d4d12095ac5a8db0e40594afa840ba6501366' into dev 6 years ago
Josselin 0a1d1e2d77 Merge branch 'dev' of github.com:trailofbits/slither into dev 6 years ago
Josselin 5c238c9c93 Change --printers to --print and --detectors to --detect (close #71) 6 years ago
Feist Josselin 4ee18c992c
Merge pull request #72 from trailofbits/dev-refactor-output 6 years ago
Alexander Remie 693d4d1209 improve python script 6 years ago
Alexander Remie 1994e35fad improve comment 6 years ago
Alexander Remie ab5fb8371e regenareted tests expected json output 6 years ago
Alexander Remie de05b1fdad sort shared_props list of strings, which is a set (and thus does not keep order between runs) 6 years ago
Alexander Remie 0b7f0c47fb regenareted tests expected json output 6 years ago
Alexander Remie 11132a628e replace basestring with str 6 years ago
Alexander Remie ded2359bdf typo 6 years ago
Alexander Remie 257058e80b rename list var to l 6 years ago
Alexander Remie 8bf5e96140 cast filter output to list 6 years ago
Alexander Remie 284fea7a4f regenerate json output using new sort-json python script 6 years ago
Alexander Remie 17e6f3c243 add python script to recursively order the json output of detectors 6 years ago
Alexander Remie 56cc9f22a4 undo sorting of detectors output 6 years ago
Josselin 563d511829 Improve output format 6 years ago
Josselin f529252f84 Merge branch 'dev' into dev-refactor-output 6 years ago
Feist Josselin 4ee0434a84
Merge branch 'master' into use-json-output-for-travis-test 6 years ago
Josselin 916cbf7acf Improve support for constant variables init 6 years ago
Josselin 4d8c270bc0 Improve support for library remapping 6 years ago
Josselin cf77d1a0b0 Add id remapping 6 years ago
Josselin c40776121a Improve specific taint 6 years ago
Josselin 4c14041942 Update travis 6 years ago
Josselin 1e4ee447d2 Merge branch 'master' of github.com:trailofbits/slither 6 years ago
Josselin a94292ceed Disable ComplexFunction detector until benchmark is performed 6 years ago
Alexander Remie 15cdf2accb regenrate expected json for tests 6 years ago
Alexander Remie 3b35b5a14b force set json.dumps separators 6 years ago
Alexander Remie d8c21daf45 regenrate expected json for tests 6 years ago
Alexander Remie 4cb3a13eb1 use custom python script to pretty print json output instead of python -e json.tool 6 years ago
Alexander Remie 42415bf917 regenerated (now deterministic ordered) json output for some tests 6 years ago
Alexander Remie 4c1ff2e68e make output order of every detector deterministic 6 years ago