notes

Personal notes
git clone git://git.laack.co/notes.git
Log | Files | Refs

CodeVerification.md (519B)


      1 # Code Verification
      2 
      3 Notes related to correctness verification of code
      4 
      5 ## Links
      6 
      7 - [Code Sanitizer](CodeSanitizer.md)
      8 - [Cyclomatic Complexity](CyclomaticComplexity.md)
      9 - [Orion](Orion.md)
     10 - [Where To Fuzz.md](WhereToFuzz.md)
     11 - [PromptFuzz](PromptFuzz.md)
     12 - [NDCG](NDCG.md)
     13 - [Directed Fuzzer](DirectedFuzzer.md)
     14 - [PropertyBasedTesting](PropertyBasedTesting.md)
     15 - [JANUS](JANUS.md)
     16 - [Fuzzing Information Theoretic Perspective](FuzzingInformationTheoreticPerspective.md)
     17 - [Atheris](Atheris.md)
     18 - [ELFuzz](ELFuzz.md)