a few more annotations we can remove CERT-9953 (#8316)

fc7d2c6ac530bbee5bde329a9d3d8d44ecc0a2af

Author: yoav-rodeh

src/main/kotlin/instrumentation/transformers/AnnotationRemovers.kt

@@ -22,10 +22,13 @@ import analysis.icfg.Inliner
 import analysis.icfg.SummaryStack
 import analysis.ip.INTERNAL_FUNC_EXIT
 import analysis.ip.INTERNAL_FUNC_START
+import analysis.ip.InternalFunctionHint
 import analysis.ip.SafeCastingAnnotator
 import analysis.ip.UncheckedOverflowAnnotator
+import analysis.pta.ITERATION_VARIABLE_BOUND
 import analysis.pta.abi.ABIAnnotator
 import analysis.pta.abi.ABIDecodeComplete
+import analysis.pta.abi.ABIEncodeComplete
 import datastructures.stdcollections.*
 import sbf.tac.DEBUG_EXTERNAL_CALL
 import sbf.tac.DEBUG_INLINED_FUNC_END
@@ -84,18 +87,21 @@ object AnnotationRemovers {
         INTERNAL_FUNC_START,
         TraceMeta.ExternalArg.META_KEY,
         INTERNAL_FUNC_EXIT,
+        InternalFunctionHint.META_KEY,
         SummaryStack.START_EXTERNAL_SUMMARY,
         Inliner.CallStack.STACK_PUSH,
         LoopEquivalence.KeepAliveInt.META_KEY,
         ReadSiteInstrumentationRecord.META_KEY,
         BufferTraceInstrumentation.TraceIndexMarker.META_KEY,
         BufferTraceInstrumentation.CallEvent.META_KEY,
         ConstantReturnBufferAllocComplete.META_KEY,
+        ITERATION_VARIABLE_BOUND,
         SBF_INLINED_FUNCTION_START,
         SBF_INLINED_FUNCTION_END,
         SummaryStack.END_EXTERNAL_SUMMARY,
         SummaryStack.END_INTERNAL_SUMMARY,
         ABIDecodeComplete.META_KEY,
+        ABIEncodeComplete.META_KEY,
         ABIAnnotator.REGION_START,
         ABIAnnotator.REGION_END,
         AbstractRuleGeneration.EnvironmentRecord.META_KEY,
@@ -151,3 +157,4 @@ object AnnotationRemovers {
         }
     }
 }
+