by Albert-Ludwigs-Universität Freiburg
Does this program contain unsafe code?
DISCLAIMER: GraVy is a 3rd party tool offered by Albert-Ludwigs-Universität Freiburg. By clicking ‘►’, you instruct rise4fun to send the source to Albert-Ludwigs-Universität Freiburg’s GraVy to be analyzed. Please refer to the
of GraVy. Contact
'►' shortcut: Alt+B
about GraVy - The Gradual Verifier
We present a gradual static verifier, GraVy. For a given piece Java of code, GraVy identifies a subset of statements for which it can prove that exceptional termination is impossible. That is, even though some statements still may terminate exceptionally, GraVy still computes a partial result. This allows us to measure the progress of static verification.
rise4fun © 2016 Microsoft Corporation -
privacy & cookies
code of conduct