Commit Graph

  • ef1fd7ebbf
    Merge pull request #2370 from crytic/fix/support-alias-NewContract alpharush 2024-03-28 22:11:58 -0500
  • 2ad318c7c0
    Merge pull request #2376 from crytic/feat/virtual-override-with-refs alpharush 2024-03-28 14:36:55 -0500
  • 98f37bc288 fix lints #2376 alpharush 2024-03-28 13:10:35 -0500
  • b4260b113c refactor for linter alpharush 2024-03-28 13:03:06 -0500
  • e7edac5038 add override for all instance of virtual, inherited functions alpharush 2024-03-28 12:48:02 -0500
  • e574c02936
    Merge pull request #2381 from nsiregar/implement-pytest-parameterize alpharush 2024-03-28 12:18:24 -0500
  • 759a4fcead add test alpharush 2024-03-28 10:48:33 -0500
  • e8bd8e131b
    Compute offset to contracts #2382 frabert/fix-offsets-from-thing-contract Francesco Bertolaccini 2024-03-28 16:45:53 +0100
  • 0b0f155779 Implement pytest parameterize on test_implicit_returns (#2350) #2381 Ngalim Siregar 2024-03-28 22:31:12 +0700
  • 0933dfa67c reference API handles abstract contract, interface, and virtual func alpharush 2024-03-27 23:54:16 -0500
  • 20ed490e2d feat: add is_abstract alpharush 2024-03-27 23:14:39 -0500
  • ecf8c3df34 Make using-for utils Simone 2024-03-26 13:51:12 +0100
  • 9a0fc3053e Add ir test Simone 2024-03-26 13:47:42 +0100
  • b15d9df730 Merge branch 'dev' into dev-fix-toplevelfn-ir Simone 2024-03-26 10:34:01 +0100
  • 181493face fix: output to SARIF error because empty detectors_classes LowK 2024-03-26 14:42:39 +0700
  • 13d7d9f66a
    Merge pull request #2373 from majorteach/master alpharush 2024-03-25 16:37:36 -0500
  • cac1252706 chore: remove repetitive words #2373 majorteach 2024-03-23 18:16:20 +0800
  • 09dd74a44e Merge branch 'fix/references-high-level-call' into feat/virtual-override-with-refs alpharush 2024-03-22 22:33:35 -0500
  • 757d892517 feat: which contracts' function defs are overridden with refs alpharush 2024-03-22 22:32:55 -0500
  • ea90b38734
    Merge pull request #2348 from crytic/support-python3.12 alpharush 2024-03-22 15:45:51 -0500
  • 93bbb22f4a use crytic-compile master with windows path fix #2371 alpharush 2024-03-22 15:45:36 -0500
  • 20b32df52e use ValueError instead of broad exception #2348 alpharush 2024-03-22 15:37:32 -0500
  • 609a5e1d96 add missing python versions to matrix alpharush 2024-03-22 15:35:08 -0500
  • 84c3199458 add regression tests for reference API on windows alpharush 2024-03-22 15:31:18 -0500
  • b5993c3e7e
    Merge pull request #2212 from crytic/fix-vyper-send alpharush 2024-03-22 15:15:52 -0500
  • 37a1a5c832 use fix/normalize-windows-path crytic-compile #2372 alpharush 2024-03-22 14:56:35 -0500
  • 209df4ea76 split test into its own file alpharush 2024-03-22 11:28:45 -0500
  • db6ff6618f fix pylint alpharush 2024-03-22 11:17:17 -0500
  • 294850f2f1 add missing file #2370 alpharush 2024-03-21 22:17:04 -0500
  • fc9416c3ec fix: attach references for inheritance specifier and top level types alpharush 2024-03-21 22:16:01 -0500
  • 28688b334b fix: add offsets for state variables alpharush 2024-03-21 12:39:25 -0500
  • 14f4a32feb register references for HighLevelCall's alpharush 2024-03-21 11:20:18 -0500
  • 69ece6da84 fix: support aliases for NewContract operation alpharush 2024-03-20 11:03:27 -0500
  • 58155bf309 Add all variables read/written #2368 Simone 2024-03-19 18:31:43 +0100
  • 19fc24bf66 Fix comment and lint Simone 2024-03-19 17:38:49 +0100
  • ed6edff706 Fix IR for top level functions with using-for Simone 2024-03-19 14:02:17 +0100
  • 1ed85707ab
    Merge pull request #2358 from eltociear/patch-1 alpharush 2024-03-18 21:16:58 -0500
  • 0cfb897b32
    Merge pull request #2357 from DarkaMaul/mutator/fit-and-finish alpharush 2024-03-18 15:07:20 -0500
  • c162138765
    Merge pull request #2360 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.14 alpharush 2024-03-18 15:04:43 -0500
  • 0f56da1e7e
    Merge pull request #2361 from crytic/dependabot/github_actions/dev/cachix/install-nix-action-26 alpharush 2024-03-18 15:04:34 -0500
  • 4f9e56aa41
    Merge pull request #2363 from rustrover/master alpharush 2024-03-18 15:04:22 -0500
  • 84053e601e
    Merge pull request #2366 from crytic/feat/issue-metrics alpharush 2024-03-18 15:04:06 -0500
  • de268d34df
    Merge pull request #2365 from crytic/dev-fix-event-parsing alpharush 2024-03-18 15:03:53 -0500
  • 3f2d189a7e
    Create issue-metrics.yml #2366 alpharush 2024-03-18 11:37:48 -0500
  • 134cadf989 Fix parsing of events #2365 Simone 2024-03-18 14:32:31 +0100
  • 14f43d430f
    Merge pull request #2 from talfao/new_features_and_checks Talfao 2024-03-18 09:20:29 +0100
  • 19472cf4b5 fix: black issue Talfao 2024-03-18 08:59:48 +0100
  • de9505ba58
    feat: for the merge improved checks Talfao 2024-03-18 08:48:24 +0100
  • d6ac5cbc4d feat: all done for merge Talfao 2024-03-18 08:36:35 +0100
  • dff5e50e89 fix: better solution for recursion error Talfao 2024-03-18 08:35:04 +0100
  • 6454d6ae48 fix: sequencer check Talfao 2024-03-17 09:20:32 +0100
  • 4268a9df67 chore: remove repetitive word #2363 rustrover 2024-03-14 14:01:20 +0800
  • 3905158cb5
    Update README.md Feist Josselin 2024-03-13 12:25:16 +0100
  • f10759c045
    Update README.md Feist Josselin 2024-03-13 12:08:58 +0100
  • d54728c622
    Update README.md Feist Josselin 2024-03-13 12:03:54 +0100
  • 84efb2f11e
    omit --force flag in hardhat tests bohendo 2024-02-29 15:07:23 -0500
  • 0e1713bf55
    Bump cachix/install-nix-action from 25 to 26 #2361 dependabot[bot] 2024-03-11 22:31:13 +0000
  • 3d1742fae6
    Bump pypa/gh-action-pypi-publish from 1.8.12 to 1.8.14 #2360 dependabot[bot] 2024-03-11 22:31:05 +0000
  • 7a3ced0cff fix: recursion error Talfao 2024-03-11 15:52:30 +0100
  • c0346d37d5
    Update node.py #2358 Ikko Eltociear Ashimine 2024-03-10 23:50:55 +0900
  • c2ff06ee2d
    Only mutate contracts once. #2357 Alexis 2024-03-08 14:02:33 +0100
  • 59327fa97e
    Fix a bug where also directories were iterated on Alexis 2024-03-08 11:19:52 +0100
  • 4664c97abc
    Fix a bug where contract-names parameter where not properly handled. Alexis 2024-03-08 11:19:31 +0100
  • 4d2ab83d44
    Save mutant file in mutation_campaign directory Alexis 2024-03-08 10:32:45 +0100
  • c37c50647c
    Fix typo in encoding Alexis 2024-03-08 10:27:46 +0100
  • 354f5ba457
    Remove os module usage Alexis 2024-03-08 10:23:51 +0100
  • f46574e726
    Run formatters Alexis 2024-03-08 10:21:26 +0100
  • 4081125ec4
    Fix wrong path Alexis 2024-03-08 09:31:29 +0100
  • 5d36814734
    Improve file handling in Mutator Alexis 2024-03-07 17:20:59 +0100
  • 66ae9d2186
    Merge pull request #2353 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.12 alpharush 2024-03-06 08:06:16 -0600
  • d24347b446
    Bump pypa/gh-action-pypi-publish from 1.8.11 to 1.8.12 #2353 dependabot[bot] 2024-03-04 22:59:06 +0000
  • 1af07d15bb add known solc bugs, remove allowed versions, improve formatting alpharush 2024-03-01 17:58:54 -0600
  • f7238c4fdf
    Add funding metadata to repository (#2346) Emilio López 2024-03-01 20:01:55 -0300
  • 0c10e27341 add support for python 3.12 alpharush 2024-03-01 16:51:00 -0600
  • 31c5de0541
    Bump super-linter/super-linter from 4.9.2 to 6.3.0 #2347 dependabot[bot] 2024-03-01 22:41:11 +0000
  • 6368368658
    Merge pull request #2303 from crytic/dev-super-linter alpharush 2024-03-01 16:40:17 -0600
  • f17133f3af
    Merge branch 'dev' into dev-super-linter #2303 alpharush 2024-03-01 16:31:27 -0600
  • ac786feefb update version of pylint in contributing.md alpharush 2024-03-01 16:30:51 -0600
  • c983185256
    Merge pull request #2159 from dokzai/issue-2107 alpharush 2024-03-01 16:25:44 -0600
  • b7607f74c4
    Merge pull request #2326 from crytic/fix/model-named-returns alpharush 2024-03-01 16:24:52 -0600
  • c9e9cff93d
    Merge branch 'dev' into fix/model-named-returns #2326 alpharush 2024-03-01 16:11:18 -0600
  • 377494ac97
    Merge pull request #2047 from cast-tech/fix-continue-bug alpharush 2024-03-01 16:10:51 -0600
  • aed855869b Add funding metadata to repository #2346 Emilio López 2024-03-01 16:00:50 -0300
  • 35230939bc
    Merge pull request #2344 from crytic/prepare-release 0.10.1 alpharush 2024-02-29 14:50:08 -0600
  • 7563def42f prepare 0.10.1 release #2344 alpharush 2024-02-29 14:40:05 -0600
  • 629ff2b2b8
    Bump @openzeppelin/contracts #2343 dependabot[bot] 2024-02-29 20:31:27 +0000
  • d5c33a190d
    Bump follow-redirects #2342 dependabot[bot] 2024-02-29 20:31:26 +0000
  • ecc7a4fffd
    Merge pull request #2341 from crytic/dev alpharush 2024-02-29 14:30:40 -0600
  • a8dc50e9d9
    Merge pull request #2330 from crytic/dev-include-paths #2341 alpharush 2024-02-29 11:40:57 -0600
  • a8915a8a7f update --inlude-paths help #2330 alpharush 2024-02-29 11:30:38 -0600
  • 754d64d7f7
    Merge pull request #2329 from crytic/dev-constant-yul alpharush 2024-02-29 11:21:07 -0600
  • 1854c147d5
    Merge pull request #2340 from crytic/feat/out-of-order-retryable-detector alpharush 2024-02-29 11:13:59 -0600
  • 801a13e600 add regression test for https://github.com/crytic/slither/issues/2325 #2329 alpharush 2024-02-29 11:13:26 -0600
  • 23c4cce7f6
    Merge pull request #2332 from crytic/fix/inheritance-resolving-duplicate-names alpharush 2024-02-29 10:52:32 -0600
  • 75c1159d73 add test showing two internal call example is caught #2340 alpharush 2024-02-29 10:40:07 -0600
  • 04ff85fd65 make it interprocedural (only 1 call deep) alpharush 2024-02-28 17:58:10 -0600
  • 69d3c257b4 feat: add out-of-order-retryable ticket detector alpharush 2024-02-28 17:36:49 -0600
  • 8bb76d499c
    Bump super-linter/super-linter from 4.9.2 to 6.2.0 #2338 dependabot[bot] 2024-02-26 22:56:45 +0000
  • 060616982a fix: use recommended methods Talfao 2024-02-24 16:43:09 +0100
  • 0efcfce17d fix: handle scenario when too many variations Talfao 2024-02-24 16:34:57 +0100