VeriFlux
ವೆರಿಫ್ಲಕ್ಸ್ ಎಂಬುದು ಜಾವಾದಲ್ಲಿ ಬರೆಯಲಾದ ಪ್ರೋಗ್ರಾಂಗಳಿಗೆ ಔಪಚಾರಿಕ ವಿಧಾನ ಆಧಾರಿತ ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಯ ಸಾಧನವಾಗಿದೆ. ಇದನ್ನು ಜಮೈಕಾ ವಿಎಂನೊಂದಿಗೆ ಬಳಸಲು ಹೊಂದುವಂತೆ ಮಾಡಲಾಗಿದೆ, ಆದರೆ ಯಾವುದೇ ಜಾವಾ ಪ್ರೋಗ್ರಾಂಗೆ ಬಳಸಬಹುದು. ಇದು ಆರ್ಟಿಎಸ್ಜೆ ವಿನಾಯಿತಿಗಳು ಮತ್ತು ಜಾವಾ ಸಿಂಕ್ರೊನೈಸೇಶನ್ ವೈಶಿಷ್ಟ್ಯಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಕೋಡ್ನಲ್ಲಿ ಸಂಭವನೀಯ ಡೆಡ್ಲಾಕ್ಗಳನ್ನು ಒಳಗೊಂಡಂತೆ ಹಿಡಿಯದ ರನ್ಟೈಮ್ ವಿನಾಯಿತಿಗಳನ್ನು ಪತ್ತೆಹಚ್ಚಬಹುದು. ಸಂಪನ್ಮೂಲ ವಿಶ್ಲೇಷಣೆಗೂ ಇದನ್ನು ಬಳಸಲಾಗಿದೆ. ಇದನ್ನು ಪೂರ್ಣ ಪ್ರೋಗ್ರಾಂ ವಿಶ್ಲೇಷಣೆ ಮತ್ತು ಭಾಗಶಃ ಪ್ರೋಗ್ರಾಂ ವಿಶ್ಲೇಷಣೆ ಎರಡಕ್ಕೂ ಬಳಸಬಹುದು. ಐಕಾಸ್ ಜಮೈಕಾವಿಎಂ ಔಪಚಾರಿಕ ವಿಧಾನಗಳು ಡೇಟಾ-ಫ್ಲೋ ವಿಶ್ಲೇಷಣೆ ರಿಯಲ್ ಟೈಮ್ ಜಾವಾ ಎಂಬೆಡೆಡ್ ಜಾವಾ ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಸ್ಥಿರ ಪ್ರೋಗ್ರಾಂ ವಿಶ್ಲೇಷಣೆ ಉಪಕರಣಗಳನ್ನು ಸಹ ನೋಡಿ.