Commit Graph

  • 033a03ac8d Add SlithIR representation (WIP) Add taint example API changes: - Better handling of tuple - Add context to slither - Change node str representation - Add ChildNode - Add block.blockhash in SolidityVariable - Add __eq__ , __hash__ in SolidityVariable - Add full_name in solidityVariableComposed - Update of the expression in a VARIABLE Node to have the assignement - Remove ENDIF not never reached Josselin 2018-09-24 17:32:45 +0100
  • a15af96993 Add SlithIR representation (WIP) Add taint example API changes: - Better handling of tuple - Add context to slither - Change node str representation - Add ChildNode - Add block.blockhash in SolidityVariable - Add __eq__ , __hash__ in SolidityVariable - Add full_name in solidityVariableComposed - Update of the expression in a VARIABLE Node to have the assignement - Remove ENDIF not never reached Josselin 2018-09-24 17:32:45 +0100
  • f614501b40 Update README.md Dan Guido 2018-09-21 11:39:02 -0400
  • 92e3578f16
    Update README.md Dan Guido 2018-09-21 11:39:02 -0400
  • 5fb2e1a8e7 better features list Dan Guido 2018-09-20 15:06:58 -0400
  • 64dbdd17a2
    better features list Dan Guido 2018-09-20 15:06:58 -0400
  • 07b0a82d83 Update README.md Dan Guido 2018-09-20 10:34:57 -0400
  • f1f08de415
    Update README.md Dan Guido 2018-09-20 10:34:57 -0400
  • 3e5a72a053 Update README.md Dan Guido 2018-09-20 10:31:48 -0400
  • b538e52b55
    Update README.md Dan Guido 2018-09-20 10:31:48 -0400
  • a122911ad2 Update README.md Dan Guido 2018-09-20 10:27:41 -0400
  • 2700853ee3
    Update README.md Dan Guido 2018-09-20 10:27:41 -0400
  • d3a74090cc Update README.md Dan Guido 2018-09-20 10:27:26 -0400
  • 9f17dedd9b
    Update README.md Dan Guido 2018-09-20 10:27:26 -0400
  • b132dbb212 Update README.md Dan Guido 2018-09-20 10:26:25 -0400
  • 4d24862b36
    Update README.md Dan Guido 2018-09-20 10:26:25 -0400
  • 31876238ed Update README.md Dan Guido 2018-09-20 10:10:00 -0400
  • 5e092685cc
    Update README.md Dan Guido 2018-09-20 10:10:00 -0400
  • a88d4605a5 Update README.md Dan Guido 2018-09-20 10:03:01 -0400
  • b9f5340843
    Update README.md Dan Guido 2018-09-20 10:03:01 -0400
  • 69972ffb4b WIP: split ternary expression to multiples expersssion Josselin 2018-09-19 15:17:33 +0100
  • 13efd858ed WIP: split ternary expression to multiples expersssion Josselin 2018-09-19 15:17:33 +0100
  • eecc0ec567 Update README.md Josselin 2018-09-17 12:21:46 +0100
  • 46419ff12d Update README.md Josselin 2018-09-17 12:21:46 +0100
  • 5401aaf066 Update README.md Feist Josselin 2018-09-14 16:27:14 +0100
  • ab301facba
    Update README.md Feist Josselin 2018-09-14 16:27:14 +0100
  • c354ddea0a Add missing files Josselin 2018-09-14 15:51:46 +0100
  • 2d36296e03 Add missing files Josselin 2018-09-14 15:51:46 +0100
  • 6ad925b07a Open source tx.origin detector Josselin 2018-09-14 15:44:55 +0100
  • 2aea762600 Open source tx.origin detector Josselin 2018-09-14 15:44:55 +0100
  • 97e18ef81b Update README.md Feist Josselin 2018-09-14 14:01:59 +0100
  • 456aad2422
    Update README.md Feist Josselin 2018-09-14 14:01:59 +0100
  • a70abedc78 Update image documentation Josselin 2018-09-14 13:50:03 +0100
  • 65cb37907c Update image documentation Josselin 2018-09-14 13:50:03 +0100
  • a7be19091d Update documentation Josselin 2018-09-14 13:43:55 +0100
  • e6ed6a43c1 Update documentation Josselin 2018-09-14 13:43:55 +0100
  • cb398d0695 Add plugin skeleton Josselin 2018-09-14 11:54:37 +0100
  • 5930e4ca6b Add plugin skeleton Josselin 2018-09-14 11:54:37 +0100
  • d2028905d8 Update README example Clean code in solidity_variables Josselin 2018-09-14 11:19:54 +0100
  • 14643f5eca Update README example Clean code in solidity_variables Josselin 2018-09-14 11:19:54 +0100
  • 20e1958213 API changes: - Remove slither.utils.utils - Follow pep8 for module name - Shorter module name Move examples/bugs to tests/ (close #7) Udpdate examples/scripts and integrate them in travis Josselin 2018-09-14 10:09:41 +0100
  • 4d797bb4b7 API changes: - Remove slither.utils.utils - Follow pep8 for module name - Shorter module name Move examples/bugs to tests/ (close #7) Udpdate examples/scripts and integrate them in travis Josselin 2018-09-14 10:09:41 +0100
  • af171764dc --detect-uninitialized -> --detect-uninitialized-state inheritances -> inheritance Josselin 2018-09-14 08:18:43 +0100
  • f7d13240f3 --detect-uninitialized -> --detect-uninitialized-state inheritances -> inheritance Josselin 2018-09-14 08:18:43 +0100
  • 13a5a7184a Update README Josselin 2018-09-13 19:18:26 +0100
  • ae255bfb60 Update README Josselin 2018-09-13 19:18:26 +0100
  • cfa44a4198 Improve uninitialized storage detector documentation Josselin 2018-09-13 19:12:38 +0100
  • f45c514f18 Improve uninitialized storage detector documentation Josselin 2018-09-13 19:12:38 +0100
  • 0243289edf Improve uninitialized storage detector Josselin 2018-09-13 19:10:47 +0100
  • 26ab17459c Improve uninitialized storage detector Josselin 2018-09-13 19:10:47 +0100
  • 9e73feef2f Merge branch 'master' into uninitialized-storage Josselin 2018-09-13 18:20:03 +0100
  • 5a094bbdd4 Merge branch 'master' into uninitialized-storage Josselin 2018-09-13 18:20:03 +0100
  • 81a1727efd Speedup reentrancy detection through fixpoint Josselin 2018-09-13 18:18:02 +0100
  • e1fedcacbf Speedup reentrancy detection through fixpoint Josselin 2018-09-13 18:18:02 +0100
  • ae0205801c Add uninitialized storage var detector Josselin 2018-09-13 18:02:53 +0100
  • a0c366a955 Add uninitialized storage var detector Josselin 2018-09-13 18:02:53 +0100
  • 6eb460be1e Update README Josselin 2018-09-13 14:41:15 +0100
  • 6fb297b69e Update README Josselin 2018-09-13 14:41:15 +0100
  • 990b5c3f17 Only use Impact for classification Josselin 2018-09-13 14:11:12 +0100
  • 533f94ddfa Only use Impact for classification Josselin 2018-09-13 14:11:12 +0100
  • 25f66f8bce Fix typo Josselin 2018-09-13 13:44:04 +0100
  • f3b5d2e78e Fix typo Josselin 2018-09-13 13:44:04 +0100
  • 4f2773b23c Re-enable source mapping Add pragma and import as classes in core.declarations Josselin 2018-09-13 11:57:43 +0100
  • fdf6534cbe Re-enable source mapping Add pragma and import as classes in core.declarations Josselin 2018-09-13 11:57:43 +0100
  • 840a526446 Clean documentation Always return a fresh list on getters to prevent modifications from caller Josselin 2018-09-13 10:00:07 +0100
  • 889a49c0e1 Clean documentation Always return a fresh list on getters to prevent modifications from caller Josselin 2018-09-13 10:00:07 +0100
  • 440bdb4fd1 Update printer to last API changes Update printer documentation Josselin 2018-09-12 17:48:41 +0100
  • 45062efb9b Update printer to last API changes Update printer documentation Josselin 2018-09-12 17:48:41 +0100
  • c7b85d29cc Add re-entrancy detector Add Prioritization information to README Josselin 2018-09-12 17:39:01 +0100
  • e18be0b483 Add re-entrancy detector Add Prioritization information to README Josselin 2018-09-12 17:39:01 +0100
  • 1ae99cbf78 Merge branch 'master' of github.com:trailofbits/slither into external_calls Josselin 2018-09-12 14:16:05 +0100
  • bf8303b081 Merge branch 'master' of github.com:trailofbits/slither into external_calls Josselin 2018-09-12 14:16:05 +0100
  • b95459eab5 Fix node.contain_require_or_assert Josselin 2018-09-12 14:14:05 +0100
  • 6ac4b56326 Fix node.contain_require_or_assert Josselin 2018-09-12 14:14:05 +0100
  • 122bc3c910 Add external calls information Josselin 2018-09-12 14:11:32 +0100
  • 1e90bb0c8e Add external calls information Josselin 2018-09-12 14:11:32 +0100
  • bdd25c1a99 Merge pull request #17 from trailofbits/plugins-arch Feist Josselin 2018-09-12 11:44:01 +0100
  • 3a2c2817bc
    Merge pull request #17 from trailofbits/plugins-arch Feist Josselin 2018-09-12 11:44:01 +0100
  • 422279516a Plugin architecture works disconnect3d 2018-09-12 12:32:17 +0200
  • 96e8da1411 Plugin architecture works #17 disconnect3d 2018-09-12 12:32:17 +0200
  • 9fd7d4f850 Merge branch 'master' of github.com:trailofbits/slither Josselin 2018-09-12 11:04:23 +0100
  • 0d13cdf7c7 Merge branch 'master' of github.com:trailofbits/slither Josselin 2018-09-12 11:04:23 +0100
  • 40c1e7af87 Improve filter_name + fix bug in inheritances Josselin 2018-09-12 09:25:46 +0100
  • 2699248e47 Improve filter_name + fix bug in inheritances Josselin 2018-09-12 09:25:46 +0100
  • f745913036 Add external/internal keyword to filter_name Josselin 2018-09-12 08:30:12 +0100
  • 51b7378759 Add external/internal keyword to filter_name Josselin 2018-09-12 08:30:12 +0100
  • c1cc06e612 ExpressionParsing: Remove return value in case if function pointer Josselin 2018-09-12 08:13:58 +0100
  • 4705499f20 ExpressionParsing: Remove return value in case if function pointer Josselin 2018-09-12 08:13:58 +0100
  • abcfeba952
    Merge aaf1b1b667 into 1d45b4aa1f #16 Disconnect3d 2018-09-11 21:12:37 +0000
  • aaf1b1b667 Add automatic plugins loading #16 disconnect3d 2018-09-11 23:11:59 +0200
  • e1f7fd6470 Update README.md (#15) Mark Mossberg 2018-09-11 22:36:41 +0200
  • 1d45b4aa1f Update README.md (#15) Mark Mossberg 2018-09-11 22:36:41 +0200
  • 50b0697d3a
    Update README.md #15 Mark Mossberg 2018-09-11 16:34:54 -0400
  • 4b0ca914a3 Rename slither package to slither-sol disconnect3d 2018-09-11 22:19:00 +0200
  • ad3f50d911 Rename slither package to slither-sol disconnect3d 2018-09-11 22:19:00 +0200
  • 7461ba0ffb Rename Slither package to slither disconnect3d 2018-09-11 21:44:30 +0200
  • 5fb14cadc4 Rename Slither package to slither disconnect3d 2018-09-11 21:44:30 +0200
  • 664aae8ba8 Typo + clean code Josselin 2018-09-11 19:16:50 +0100
  • 7c5af946ad Typo + clean code Josselin 2018-09-11 19:16:50 +0100
  • 44606fd2e0 Add constant keyword to filter_name Josselin 2018-09-11 19:06:08 +0100