florianmorath/SAE_staticAnalyzer

Software Architecture and Engineering course: static analyzer which takes as input a Java program and verifies that some predefined conditions hold for all methods declared in the input program

Java