Hacker News new | past | comments | ask | show | jobs | submit login
RamFuzz: a fuzzer for individual method parameters using LLVM (github.com/dekimir)
51 points by Jerry2 on Dec 26, 2016 | hide | past | favorite | 2 comments



See QuickCheck for Haskell https://wiki.haskell.org/Introduction_to_QuickCheck1 Theories for junit https://github.com/junit-team/junit4/wiki/Theories (see http://junit.org/junit4/javadoc/4.12/org/junit/experimental/... ) quickcheck for rust https://github.com/BurntSushi/quickcheck etc.

There are many programming-language specific libraries for this where you define semantically appropriate suppliers of random parameter values.

It would be nice to use write tests like this, then run them to get a set of seed data for the fuzzer.


Author here, AMA.




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: