Add analytic

nevillegrech · Feb 16, 2024 · 45ff2ba · 45ff2ba
1 parent f0a4315
commit 45ff2ba
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/logic/decompiler_analytics.dl b/logic/decompiler_analytics.dl
@@ -510,3 +510,11 @@ Analytics_BlocksLocalOrNot(block1, block2) :-
 
 Analytics_NeedToAddCtxAtEdge(from, to):-
   global.NeedToAddCtxAtEdge(from, to).
+
+.decl Analytics_MissingEdgeInTAC(irBlock: IRBlock)
+.output Analytics_MissingEdgeInTAC
+Analytics_MissingEdgeInTAC(irBlock):-
+  Block_IRBlock(_, _, irBlock),
+  TAC_Block(jump, irBlock),
+  TAC_Op(jump, "JUMP"),
+  !LocalBlockEdge(irBlock, _).
diff --git a/tooling/compare-runs.py b/tooling/compare-runs.py
@@ -34,6 +34,7 @@
   'Analytics_DeadBlocks': 'imprecision',
   'Analytics_PolymorphicTargetSameCtx': 'imprecision',
   'Analytics_LocalBlockEdge': 'completeness',
+  'Analytics_MissingEdgeInTAC': 'completeness',
   'Analytics_StmtMissingOperand': 'incompleteness',
   'Analytics_PrivateFunctionMatchesMetadata': 'completeness',
   'Analytics_PrivateFunctionMatchesMetadataIncorrectArgs': 'imprecision',