https://citris-uc.org/trust-security-seminar-java-static-checker-a-tool-for-locating-faults/