Commit Graph

  • 8465d9282e Add constant keyword to filter_name Josselin 2018-09-11 19:06:08 +0100
  • 14c1adbbad Better handling of function pointer Add return value information for solidity inbuilt function Josselin 2018-09-11 18:04:04 +0100
  • 36102142a0 Better handling of function pointer Add return value information for solidity inbuilt function Josselin 2018-09-11 18:04:04 +0100
  • 0e0b2a4048 Fix missing char for call parsing Josselin 2018-09-11 15:45:01 +0100
  • 05c7dbe869 Fix missing char for call parsing Josselin 2018-09-11 15:45:01 +0100
  • b07264c294 Use parse_type to parse using for type Add __eq__ and __hash__ functions to solidityType Update uninitialized var detector with new using_for Josselin 2018-09-11 15:26:40 +0100
  • deedfd695e Use parse_type to parse using for type Add __eq__ and __hash__ functions to solidityType Update uninitialized var detector with new using_for Josselin 2018-09-11 15:26:40 +0100
  • 456c26bd08 Add dev branch to travis Josselin 2018-09-11 11:37:57 +0100
  • ee8f531f20 Add dev branch to travis Josselin 2018-09-11 11:37:57 +0100
  • dd7466a6b7 Re-add travis.yml Josselin 2018-09-11 10:53:04 +0100
  • bed743c5db Re-add travis.yml Josselin 2018-09-11 10:53:04 +0100
  • 0df07c3df8 Remove travis.yml Josselin 2018-09-11 10:51:43 +0100
  • d2c33dce48 Remove travis.yml Josselin 2018-09-11 10:51:43 +0100
  • d399d1d270 Make SlitherSolc parse_contracts_from_json / analyze_contracts private Josselin 2018-09-11 10:36:34 +0100
  • 32ade9df33 Make SlitherSolc parse_contracts_from_json / analyze_contracts private Josselin 2018-09-11 10:36:34 +0100
  • 1c579a7f79 Merge pull request #14 from trailofbits/register-api Feist Josselin 2018-09-11 10:15:43 +0100
  • d3265490ea
    Merge pull request #14 from trailofbits/register-api Feist Josselin 2018-09-11 10:15:43 +0100
  • f2de2b3b92 Merge branch 'master' into register-api Josselin 2018-09-11 10:08:10 +0100
  • c9e560919f Merge branch 'master' into register-api #14 Josselin 2018-09-11 10:08:10 +0100
  • 41a60034c8 Fix incorrect summary in printerQuickSummary Typo in contract.get_summary documentation Clean code Josselin 2018-09-11 10:07:24 +0100
  • 94c0114536 Fix incorrect summary in printerQuickSummary Typo in contract.get_summary documentation Clean code Josselin 2018-09-11 10:07:24 +0100
  • 82a07c95ac Implement choose_detectors / choose_printers Josselin 2018-09-11 09:48:12 +0100
  • 95bba51e19 Implement choose_detectors / choose_printers Josselin 2018-09-11 09:48:12 +0100
  • c7022cdcba Move contract analysis to Slither.__init__. Remove useless check Josselin 2018-09-11 09:21:11 +0100
  • a6f08ed6aa Move contract analysis to Slither.__init__. Remove useless check Josselin 2018-09-11 09:21:11 +0100
  • 3a1716b31e Make detectors and printers registrable disconnect3d 2018-09-11 02:57:11 +0200
  • 16963d17b0 Make detectors and printers registrable disconnect3d 2018-09-11 02:57:11 +0200
  • 340e81eace Update travis Josselin 2018-09-10 21:28:49 +0100
  • 0c772b2dd7 Update travis Josselin 2018-09-10 21:28:49 +0100
  • 019c8c3770 Fix bug in contract.contracts_derived Josselin 2018-09-10 20:52:24 +0100
  • cfb94e05b6 Fix bug in contract.contracts_derived Josselin 2018-09-10 20:52:24 +0100
  • c147769185 Refactor printer-human-readable and colors disconnect3d 2018-09-10 21:31:34 +0200
  • 431b435f99 Refactor printer-human-readable and colors disconnect3d 2018-09-10 21:31:34 +0200
  • 12fc428fdb Refactor printer-human-readable and colors #13 disconnect3d 2018-09-10 21:31:34 +0200
  • ec072141fa Show the number of contracts analyzed in output (fix #9) Josselin 2018-09-10 17:57:26 +0100
  • b7078b7586 Show the number of contracts analyzed in output (fix #9) Josselin 2018-09-10 17:57:26 +0100
  • d2da52135c Command line changes: - Add exclude flag for each detector - replace -low, -medium, -high by -exclude-low, ... - clean detectors/printers information and flags - detector follow this format '--detect-name' - close #1 and #10 Update README Josselin 2018-09-10 17:38:58 +0100
  • d7e15590df Command line changes: - Add exclude flag for each detector - replace -low, -medium, -high by -exclude-low, ... - clean detectors/printers information and flags - detector follow this format '--detect-name' - close #1 and #10 Update README Josselin 2018-09-10 17:38:58 +0100
  • 32bb4377c6 Update README Josselin 2018-09-10 15:56:05 +0100
  • fbaf655c5a Update README Josselin 2018-09-10 15:56:05 +0100
  • fccafef01c Update README.md Josselin 2018-09-10 15:34:55 +0100
  • 871c08f0a4 Update README.md Josselin 2018-09-10 15:34:55 +0100
  • 83c9a4402c Add code quality detector to check if an old version of solc is used Josselin 2018-09-10 15:33:48 +0100
  • ef32f484e0 Add code quality detector to check if an old version of solc is used Josselin 2018-09-10 15:33:48 +0100
  • 7001dbd8c1 Fix import in examples/bug/pragma.0.4.24.sol Josselin 2018-09-10 15:32:50 +0100
  • cfe987ef52 Fix import in examples/bug/pragma.0.4.24.sol Josselin 2018-09-10 15:32:50 +0100
  • 0c1e51d26b Update Readme Josselin 2018-09-10 15:09:34 +0100
  • 8ec219b5e2 Update Readme Josselin 2018-09-10 15:09:34 +0100
  • 7067ba85ff Parse ImportDirective and PragmaDirective Add CODE_QUALITY detector type Add detector to check that the same version of solidity is always used Josselin 2018-09-10 14:53:08 +0100
  • a97ea53fbd Parse ImportDirective and PragmaDirective Add CODE_QUALITY detector type Add detector to check that the same version of solidity is always used Josselin 2018-09-10 14:53:08 +0100
  • 66a0963452 Update travis with slither package Josselin 2018-09-10 13:38:26 +0100
  • 4eceed57cf Update travis with slither package Josselin 2018-09-10 13:38:26 +0100
  • 00b664b85e Fix bug in localvariable init expression parsing Josselin 2018-09-10 13:35:56 +0100
  • 1c189aa610 Fix bug in localvariable init expression parsing Josselin 2018-09-10 13:35:56 +0100
  • ae1a20f347 Merge branch 'master' into printer-human-readable Josselin 2018-09-10 11:37:59 +0100
  • ac787dcc55 Merge branch 'master' into printer-human-readable Josselin 2018-09-10 11:37:59 +0100
  • 69db1398c3 Fix typo in contract helpers Josselin 2018-09-08 07:21:05 +0100
  • 88df50ce57 Fix typo in contract helpers Josselin 2018-09-08 07:21:05 +0100
  • 2f5af27b19 Add human readable printer (WIP) Josselin 2018-09-10 11:34:32 +0100
  • 07de8cb9ef Add human readable printer (WIP) Josselin 2018-09-10 11:34:32 +0100
  • 7b41b590c6 Update README.md Feist Josselin 2018-09-10 11:05:51 +0100
  • 3f9dadec6f
    Update README.md Feist Josselin 2018-09-10 11:05:51 +0100
  • a2b686cf31 Merge pull request #12 from trailofbits/packaging Feist Josselin 2018-09-10 11:04:42 +0100
  • 2b0254fd96
    Merge pull request #12 from trailofbits/packaging Feist Josselin 2018-09-10 11:04:42 +0100
  • c08e9ad125 Make a slither package disconnect3d 2018-09-10 11:35:55 +0200
  • cfe8f89c39 Make a slither package #12 disconnect3d 2018-09-10 11:35:55 +0200
  • eac3043bdd Merge pull request #8 from trailofbits/py3 Feist Josselin 2018-09-10 10:57:09 +0100
  • 943b22cf95
    Merge pull request #8 from trailofbits/py3 Feist Josselin 2018-09-10 10:57:09 +0100
  • b03b957289 Fix ContractSolc04.__hash__ disconnect3d 2018-09-07 20:23:39 +0200
  • aa75ccef9f Fix ContractSolc04.__hash__ #8 disconnect3d 2018-09-07 20:23:39 +0200
  • 20fa31667f Add PyCharm project dir to gitignore disconnect3d 2018-09-07 17:03:11 +0200
  • b182366add Add PyCharm project dir to gitignore disconnect3d 2018-09-07 17:03:11 +0200
  • 52a5395337 Make Python 3 great again disconnect3d 2018-09-07 16:26:15 +0200
  • c53ae2bd32 Make Python 3 great again disconnect3d 2018-09-07 16:26:15 +0200
  • 545b282174
    Merge 4eb534b6bb into d4a49662f2 #2 pierce403 2018-09-08 14:08:30 +0000
  • 9a99d88451 Fix typo in contract helpers Josselin 2018-09-08 07:21:05 +0100
  • f18f8ee260 Fix typo in contract helpers Josselin 2018-09-08 07:21:05 +0100
  • a02d5259cd Add --print-variables-written-and-authorization printer API change: function.all_variables_written -> function.all_state_variables_written Josselin 2018-09-07 19:53:10 +0100
  • d4a49662f2 Add --print-variables-written-and-authorization printer API change: function.all_variables_written -> function.all_state_variables_written Josselin 2018-09-07 19:53:10 +0100
  • 4fc9655f37 Fix typo in functions_writing.py Josselin 2018-09-07 16:05:48 +0100
  • 95d99884c2 Fix typo in functions_writing.py Josselin 2018-09-07 16:05:48 +0100
  • 3ced5303a9 Add check for solidity file existence Call logger.basicConfig by default Josselin 2018-09-07 15:56:24 +0100
  • 6860c0f1a1 Add check for solidity file existence Call logger.basicConfig by default Josselin 2018-09-07 15:56:24 +0100
  • 6cbce03d0f Merge pull request #3 from lorenzb/readme_improvements Dan Guido 2018-09-07 13:03:33 +0200
  • c6286ac1df
    Merge pull request #3 from lorenzb/readme_improvements Dan Guido 2018-09-07 13:03:33 +0200
  • 1ee3e33e60 Update README.md Dan Guido 2018-09-07 13:03:03 +0200
  • 73cca2b76d
    Update README.md #3 Dan Guido 2018-09-07 13:03:03 +0200
  • 7eef31f894 Fix --low unrecognized (issue #1) Improve usage information (issue #1) Improve help of backdoor example detector Josselin 2018-09-06 11:14:04 +0100
  • f47c4385db Fix --low unrecognized (issue #1) Improve usage information (issue #1) Improve help of backdoor example detector Josselin 2018-09-06 11:14:04 +0100
  • 40b4c80b0b Mention python version in README.md Lorenz Breidenbach 2018-09-06 11:27:47 +0200
  • 81c8695125 Mention python version in README.md Lorenz Breidenbach 2018-09-06 11:27:47 +0200
  • dbb71c7507 Get rid of sudo in pip install command Lorenz Breidenbach 2018-09-06 11:26:35 +0200
  • 90ea39bdd9 Get rid of sudo in pip install command Lorenz Breidenbach 2018-09-06 11:26:35 +0200
  • 4eb534b6bb
    cleaned up silly solc warnings #2 pierce403 2018-09-06 11:23:45 +0200
  • b24fe00a6c
    OMG typo pierce403 2018-09-06 11:22:04 +0200
  • 5062204cc7 Update README.md Dan Guido 2018-09-06 08:49:10 +0200
  • b6ee325aa0
    Update README.md Dan Guido 2018-09-06 08:49:10 +0200
  • 6279682d5a Update README.md Dan Guido 2018-09-06 08:47:58 +0200
  • 6523a00a8c
    Update README.md Dan Guido 2018-09-06 08:47:58 +0200
  • ecca123343 Update travis to use solc 0.4.24 Josselin 2018-09-05 23:26:47 +0100