Issues

• Update worker + test deployment

  sbip-sg/smart-fuzz#253 · Filter by author minhhn2910 opened on Sep 4, 2024

• 'builtins.WrappedMissedBranch' object has no attribute 'pc'

  sbip-sg/smart-fuzz#250 · Filter by author cassc opened on Aug 2, 2024
  1

• Writing smart-fuzz driver for CuEVM

  sbip-sg/smart-fuzz#249 · Filter by author minhhn2910 opened on Jul 30, 2024
  

• Cross-chain Driver

  sbip-sg/smart-fuzz#248 · Filter by author minhhn2910 opened on Jul 30, 2024
  

• Optimize path exploration

  sbip-sg/smart-fuzz#246 · Filter by author minhhn2910 opened on Feb 4, 2024

• Reduce false positives

  sbip-sg/smart-fuzz#237 · Filter by author minhhn2910 opened on Aug 1, 2023
  6

• [Symbolic-input branch] Rewrite unittest using Assert.Equal

  sbip-sg/smart-fuzz#214 · Filter by author minhhn2910 opened on Mar 27, 2023
  

• [Symbolic executor] Allow passing storage change and rerun hevm to get new path solutions.

  someday
  sbip-sg/smart-fuzz#203 · Filter by author minhhn2910 opened on Mar 6, 2023

• [Bug] LineMapping list index out of range

  bugsomeday
  sbip-sg/smart-fuzz#113 · Filter by author minhhn2910 opened on Nov 11, 2022
  1

• [feature] Support ETH 2.0 and setting VM forks

  enhancement
  sbip-sg/smart-fuzz#69 · Filter by author minhhn2910 opened on Sep 16, 2022
  

• Enable using attacker to deploy target contract - reentrancy.

  enhancementsomeday
  sbip-sg/smart-fuzz#14 · Filter by author minhhn2910 opened on Jul 20, 2022
  

• Issues need to fix, todo list

  someday
  sbip-sg/smart-fuzz#5 · Filter by author minhhn2910 opened on Jun 23, 2022
  2