Skip to content

Commit

Permalink
add SecurityAnalysis
Browse files Browse the repository at this point in the history
  • Loading branch information
Hecate2 committed Sep 6, 2024
1 parent 31fadad commit 688f0de
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/Neo.Compiler.CSharp/Program.cs
Original file line number Diff line number Diff line change
Expand Up @@ -124,6 +124,8 @@ private static void Handle(RootCommand command, Options options, string[]? paths
if (debugInfo != null)
File.WriteAllBytes(Path.Combine(directory, filename + ".optimized.nefdbgnfo"), DumpNef.ZipDebugInfo(debugInfo.ToByteArray(true), filename + ".optimized.debug.json"));
Console.WriteLine($"Optimization finished.");
if (options.SecurityAnalysis)
ReEntrancyAnalyzer.AnalyzeSingleContractReEntrancy(nef, manifest, debugInfo).GetWarningInfo(print: true);
return;
}
if (extension != ".cs")
Expand Down

0 comments on commit 688f0de

Please sign in to comment.