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 terms of use and privacy policy of GraVy.
'►' 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.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2019 Microsoft