Search results

Update worker + test deployment

Status: Open.

#253 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Sep 4, 2024

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

Status: Open.

#250 In sbip-sg/smart-fuzz;

· cassc opened on Aug 2, 2024

Writing smart-fuzz driver for CuEVM

Status: Open.

#249 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Jul 30, 2024

Cross-chain Driver

Status: Open.

#248 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Jul 30, 2024

Optimize path exploration

Status: Open.

#246 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Feb 4, 2024

Reduce false positives

Status: Open.

#237 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Aug 1, 2023

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

Status: Open.

#214 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Mar 27, 2023

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

somedayfix somedayfix someday

Status: Open.

#203 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Mar 6, 2023

[Bug] LineMapping list index out of range

bugSomething isn't workingSomething isn't working

somedayfix somedayfix someday

Status: Open.

#113 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Nov 11, 2022

[feature] Support ETH 2.0 and setting VM forks

enhancementNew feature or requestNew feature or request

Status: Open.

#69 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Sep 16, 2022

Enable using attacker to deploy target contract - reentrancy.

enhancementNew feature or requestNew feature or request

somedayfix somedayfix someday

Status: Open.

#14 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Jul 20, 2022

Issues need to fix, todo list

somedayfix somedayfix someday

Status: Open.

#5 In sbip-sg/smart-fuzz;

· minhhn2910 opened on Jun 23, 2022