File tree Expand file tree Collapse file tree 1 file changed +2
-17
lines changed Expand file tree Collapse file tree 1 file changed +2
-17
lines changed Original file line number Diff line number Diff line change @@ -16,23 +16,8 @@ state management.
1616
1717### Components  
1818
19- The fuzzer is located in ` tools/fuzzing/ `  with the following structure:
20- 
21- ``` 
22- tools/fuzzing/ 
23- ├── src/ 
24- │   ├── main.rs                    # Entry point and OCaml communication 
25- │   ├── coverage/                  # Coverage analysis tools 
26- │   └── transaction_fuzzer/ 
27- │       ├── context.rs             # Fuzzer state and ledger management 
28- │       ├── generator.rs           # Transaction generation logic 
29- │       ├── mutator.rs             # Mutation strategies 
30- │       ├── invariants.rs          # Permission invariant checking 
31- │       └── coverage/              # Transaction-specific coverage tools 
32- ├── Cargo.toml                     # Dependencies and configuration 
33- ├── rust-toolchain.toml            # Nightly toolchain specification 
34- └── Dockerfile                     # Containerized fuzzing environment 
35- ``` 
19+ The fuzzer is located in ` tools/fuzzing/ `  and implements differential fuzzing
20+ between the OCaml and Rust implementations of some components.
3621
3722## What Gets Fuzzed  
3823
 
 
   
 
     
   
   
          
    
    
     
    
      
     
     
    You can’t perform that action at this time.
  
 
    
  
    
      
        
     
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments