public static void main(String[] args) {
ProviderFactory.init(JPF.createConfig(args));
logger.setLevel(Level.ALL);
ClassInfo cls = new ModelClassProvider().loadClassInfo("java.lang.System");
OrphanNativePeerChecker onpc = new OrphanNativePeerChecker();
SimpleCmdLineReporter reporter = new SimpleCmdLineReporter(JPF.createConfig(args));
onpc.registerReporter(reporter);
System.out.println(onpc.check(cls));
}