@@ -86,25 +86,25 @@ private void checkForProtection(Statement sink, EVMCFG cfg, Set<Integer> jumpiPp
8686 return ;
8787
8888 for (Signature functionSignature : functionsSignature ) {
89- log .debug ("Checking: {} that has {} entry points" , functionSignature .getFullSignature (),
90- functionSignature .getEntryPoints ().size ());
89+ // log.debug("Checking: {} that has {} entry points", functionSignature.getFullSignature(),
90+ // functionSignature.getEntryPoints().size());
9191
9292 for (Statement functionEntryPoint : functionSignature .getEntryPoints ()) {
9393 Statement source = cfg .getClosestStatementOfType (functionEntryPoint , Caller .class );
9494 if (source == null )
9595 continue ;
9696
97- log .debug ("Source {} at pc {} line {}" ,
98- source ,
99- ((ProgramCounterLocation ) source .getLocation ()).getPc (),
100- ((ProgramCounterLocation ) source .getLocation ()).getSourceCodeLine ());
97+ // log.debug("Source {} at pc {} line {}",
98+ // source,
99+ // ((ProgramCounterLocation) source.getLocation()).getPc(),
100+ // ((ProgramCounterLocation) source.getLocation()).getSourceCodeLine());
101101
102102 if (cfg .reachableFromWithDepthLimit (source , sink , MAX_DEPTH )
103103 && jumpiPps .contains (((ProgramCounterLocation ) source .getLocation ()).getPc ())) {
104- log .debug ("Sink {} at pc {} line {}" ,
105- sink ,
106- ((ProgramCounterLocation ) sink .getLocation ()).getPc (),
107- ((ProgramCounterLocation ) sink .getLocation ()).getSourceCodeLine ());
104+ // log.debug("Sink {} at pc {} line {}",
105+ // sink,
106+ // ((ProgramCounterLocation) sink.getLocation()).getPc(),
107+ // ((ProgramCounterLocation) sink.getLocation()).getSourceCodeLine());
108108
109109 functionSignature .setProtected (true );
110110 log .info ("Function {} is protected" , functionSignature .getFullSignature ());
0 commit comments