Download
jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
License
GNU General Public License version 2.0 (GPLv2)Follow jppa
Other Useful Business Software
Picsart Enterprise Background Removal API for Stunning eCommerce Visuals
With our Remove Background API tool, you can access the transformative capabilities of automation , which will allow you to turn any photo asset into compelling product imagery. With elevated visuals quality on your digital platforms, you can captivate your audience, and therefore achieve higher engagement and sales.
Rate This Project
Login To Rate This Project
User Reviews
-
Great stuff.