VeriFlux
વેરીફ્લક્સ એ જાવામાં લખાયેલા કાર્યક્રમો માટે ઔપચારિક પદ્ધતિઓ આધારિત સ્થિર વિશ્લેષણ સાધન છે. તે જમૈકા વી. એમ. સાથે ઉપયોગ માટે ઓપ્ટિમાઇઝ થયેલ છે, પરંતુ તેનો ઉપયોગ કોઈપણ જાવા પ્રોગ્રામ માટે થઈ શકે છે. તે જાવા સિંક્રોનાઇઝેશન સુવિધાઓનો ઉપયોગ કરીને આરટીએસજે અપવાદો અને કોડમાં સંભવિત ડેડલોક્સ સહિત અનકટ રનટાઇમ અપવાદોને શોધી શકે છે. તેનો ઉપયોગ સંસાધન વિશ્લેષણ માટે પણ કરવામાં આવ્યો છે. તેનો ઉપયોગ સંપૂર્ણ કાર્યક્રમ વિશ્લેષણ અને આંશિક કાર્યક્રમ વિશ્લેષણ બંને માટે થઈ શકે છે. આઇકાસ જમૈકા વી. એમ. ઔપચારિક પદ્ધતિઓ ડેટા-ફ્લો વિશ્લેષણ વાસ્તવિક સમય જાવા એમ્બેડેડ જાવા સંદર્ભો બાહ્ય લિંક્સ સ્ટેટિક પ્રોગ્રામ વિશ્લેષણ સાધનો પણ જુઓ.