JQF
javan-warty-pig
JQF | javan-warty-pig | |
---|---|---|
3 | 1 | |
633 | 49 | |
- | - | |
6.3 | 0.0 | |
7 months ago | over 5 years ago | |
Java | Java | |
BSD 2-clause "Simplified" License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
JQF
-
CS 6120: Advanced Compilers: The Self-Guided Online Course
We are working on projects related with cybersecurity and compilers. A reference we look at is [1] and [2]. I think we can publish the results in the coming months.
[1] https://github.com/rohanpadhye/jqf/wiki/Fuzzing-a-Compiler
[2] https://news.ycombinator.com/item?id=36373410
-
GitHub Copilot for JetBrains and Neovim
QuickcCheck-type tools (generators for tests that know about the edge cases of a domain - e. g. for the domain of numbers considering things like 0, the infinities, various almost-and-just-over powers of two, NaN and mantissas for floats, etc.):
* QuickCheck: https://hackage.haskell.org/package/QuickCheck
* Hypothesis: https://hypothesis.readthedocs.io/en/latest/
* JUnit QuickCheck: https://github.com/pholser/junit-quickcheck
Fuzz testing tools (tools which mutate the inputs to a program in order to find interesting / failing states in that program). Generally paired with code coverage:
* American Fuzzy Lop (AFL): https://github.com/google/AFL
* JQF: https://github.com/rohanpadhye/JQF
Mutation / Fault based test tools (review your existing unit coverage and try to introduce changes to your _production_ code that none of your tests catch)
* PITest: https://pitest.org/
-
Jazzer brings modern fuzz testing to the JVM
If you are interested in fuzzing your Java code, you should also have a look at the JQF project which directly integrates with junit tests: https://github.com/rohanpadhye/JQF
javan-warty-pig
-
Jazzer brings modern fuzz testing to the JVM
A little while back I wrote something similar[0]. Basically I applied AFL principles to the JVM by similarly implementing bytecode instrumentation in the lightest way I could and having "passes" of sorts that manipulated inputs using stages like AFL does. The readme explains the implementation details (I don't really maintain it or use it anymore).
0 - https://github.com/cretz/javan-warty-pig
What are some alternatives?
jqwik - Property-Based Testing on the JUnit Platform
fuzzing - Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
junit-quickcheck - Property-based testing, JUnit-style
fast-check - Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
copilot-docs - Documentation for GitHub Copilot
fuzzcheck-rs - Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
copilot.vim - Neovim plugin for GitHub Copilot
American Fuzzy Lop - american fuzzy lop - a security-oriented fuzzer
feedback - Public feedback discussions for: GitHub for Mobile, GitHub Discussions, GitHub Codespaces, GitHub Sponsors, GitHub Issues and more! [Moved to: https://github.com/github-community/community]
nvim-treesitter - Nvim Treesitter configurations and abstraction layer
rs-lox - Rust version of CLOX language from Crafting Interpreters