VeriFlux
ویریفلوکس جاوا میں لکھے گئے پروگراموں کے لیے ایک رسمی طریقوں پر مبنی جامد تجزیہ کا آلہ ہے۔ یہ جمیکا وی ایم کے ساتھ استعمال کے لیے بہتر بنایا گیا ہے، لیکن اسے کسی بھی جاوا پروگرام کے لیے استعمال کیا جا سکتا ہے۔ یہ جاوا سنکرونائزیشن فیچرز کا استعمال کرتے ہوئے غیر پکڑے گئے رن ٹائم مستثنیات کا پتہ لگا سکتا ہے، بشمول آر ٹی ایس جے مستثنیات، اور کوڈ میں ممکنہ ڈیڈ لاک۔ اسے وسائل کے تجزیے کے لیے بھی استعمال کیا گیا ہے۔ اسے مکمل پروگرام تجزیہ اور جزوی پروگرام تجزیہ دونوں کے لیے استعمال کیا جا سکتا ہے۔ آئیکاس جمیکا وی ایم رسمی طریقے ڈیٹا فلو تجزیہ ریئل ٹائم جاوا ایمبیڈڈ جاوا حوالہ جات بیرونی لنکس جامد پروگرام تجزیہ ٹولز بھی دیکھیں۔