There is currently 3 JavaCheckVerifiers in our plugin.
- One is used to test Symbolic Execution-based checks
- One is used to test all our other normal rules
- One is used to test batch of files for some particular rules
The two first implementations diverged over times, with various APIs... and the last one was built on top of the second.
The goal is to unify and simplify all this, under a more convenient API, to be also used in custom rules.