https://github.com/nanofuzz/nanofuzz-examples

A tutorial and a set of examples for playing with NaNofuzz
https://github.com/nanofuzz/nanofuzz-examples

Last synced: about 23 hours ago
JSON representation

A tutorial and a set of examples for playing with NaNofuzz

• Host: GitHub
• URL: https://github.com/nanofuzz/nanofuzz-examples
• Owner: nanofuzz
• License: mit
• Created: 2024-09-29T16:26:01.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2026-03-04T20:52:42.000Z (4 months ago)
• Last Synced: 2026-03-05T02:38:00.930Z (4 months ago)
• Language: TypeScript
• Homepage:
• Size: 121 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# nanofuzz-examples

A set of buggy example programs for playing with [NaNofuzz](https://github.com/nanofuzz/nanofuzz/) plus a tutorial that can typically be completed in under eleven minutes. If reading this on GitHub, click Code->Codespaces->Create to immediately get started!

```

./

  tutorial/            NaNofuzz tutorial

  examples/            NaNofuzz examples

```

Several of the example programs have bugs that may be detected using NaNofuzz' heuristic validator.

Other examples (e.g., roman, lcm, identitymatrix, modinv, normd) require human or property validators to identify some of the bugs.