Get the whole Picture
Whereas testing requires a new run for each path through the code, VeriFlux examines all possible paths at once.This ensures complete coverage of the application. No stone is left unturned.
Prevent runtime exceptions from causing program failure. From arithmetic to null pointer exceptions, VeriFlux pinpoints where these problems occur.
Flush out deadlocks before they cause application lockup. Multicore programs become safer and error detection easier.
Prevent your program from yielding incorrect results because of faulty synchronisation.
RTSJ Memory Areas
Take the guesswork out of using scoped memory. Ensure that all assignments in a scope are valid.
Unlike other static analysis tools, reflection does not stop VeriFlux from doing its job. Simple reflection is analyzed automatically; complex reflection just requires some simple hints from the user.