Logo of Axivion Suite 7.12.0

Axivion Suite 7.12.0

Navigation

  • 1. Introduction
  • 2. Project Configuration
  • 3. Supported Languages
  • 4. Analyses Guide
  • 5. User Interface
  • 6. Reference
  • 7. Customization API
    • 7.1. Scripting Introduction
    • 7.2. Dashboard Scripting
    • 7.3. Gravis Scripting
    • 7.4. RFG Scripting
    • 7.5. IR Scripting
      • 7.5.1. Parts of the IR
      • 7.5.2. Class hierarchy
      • 7.5.3. Accessing the IR
      • 7.5.4. Cross Access: IR and RFG
      • 7.5.5. IR Interfaces and Classes
        • 7.5.5.1. Base Class
        • 7.5.5.2. Logical Part
          • Interfaces (logical)
          • Operands and Objects (logical)
          • Root (logical)
          • Inheritance (logical)
          • Toplevel Scopes (logical)
          • Namespaces (logical)
          • Subprograms (logical)
          • Objects (logical)
          • Types (logical)
          • Predefined Types (logical)
          • Generics (logical)
          • Template Parameters (logical)
          • Using
          • Expressions (logical)
          • Operands (logical)
          • Instructions (logical)
          • Basic Blocks (logical)
            • CFG_Block
            • CFG_Entry_Block
            • CFG_Exit_Block
            • CFG_Normal_Exit_Block
            • CFG_Exceptional_Exit_Block
            • CFG_Coroutine_Destroy_Exit_Block
            • CFG_Standard_Block
            • CFG_Single_Successor_Block
            • CFG_Exception_Block
            • CFG_Rethrow_Block
            • CFG_Throw_Block
            • CFG_Catch_Block
            • CFG_Catch_All_Block
            • CFG_General_Catch_Type_Block
            • CFG_Catch_Type_Block
            • CFG_MS_Except_Block
            • CFG_Call_Block
            • CFG_Branch_Block
            • CFG_If_Block
            • CFG_Switch_Block
            • CFG_Switch_With_Default_Block
            • CFG_Switch_Without_Default_Block
            • CFG_Case_Edge
            • CFG_Single_Case_Edge
            • CFG_Range_Case_Edge
            • CFG_Jump_Block
            • CFG_Structured_Jump_Block
            • CFG_Return_Jump_Block
            • CFG_Return_Value_Block
            • CFG_Return_Without_Value_Block
            • CFG_Break_Jump_Block
            • CFG_Break_Loop_Block
            • CFG_Break_Switch_Block
            • CFG_Leave_Block
            • CFG_End_Branch_Block
            • CFG_Continue_Jump_Block
            • CFG_Loop_Header_Jump_Block
            • CFG_Label_Header_Jump_Block
            • CFG_Jump_To_Next_Block
            • CFG_Jump_Back_Block
            • CFG_Goto_Block
            • CFG_Unknown_Successor_Block
            • CFG_Computed_Goto_Block
            • CFG_General_Suspend_Block
            • CFG_Suspend_Block
            • CFG_Suspend_Resume_Block
            • File_Scope
          • .Net Assemblies (logical)
          • Managed Types (CSharp and C++CLI): (logical)
          • Managed Generics (logical)
          • Managed Reference Classes (logical)
          • Managed Interface Types (logical)
          • Managed Delegate Types (logical)
          • Managed Struct Types, Value Classes (logical)
          • Managed Arrays (logical)
          • Managed Inheritance (logical)
          • Managed Nonmember Methods (C++/CLI) (logical)
          • Managed Member Methods (logical)
          • Managed Fields, Properties, Indexers, and Events (logical)
          • Pointers in C# and C++/CLI (logical)
          • Managed Custom Attributes (IL2:4111) (logical)
        • 7.5.5.3. Physical Part
        • 7.5.5.4. Bitfields
        • 7.5.5.5. Enumerations
        • 7.5.5.6. Search IR Class Hierarchy
    • 7.6. Scanner Scripting
    • 7.7. Writing your own analysis rules
    • 7.8. Python Module Index
  • 8. HOWTOs
  • 9. Legal
 
  • ← Method_Pointer_Call_Instruction
  • CFG_Block →

Basic Blocks (logical)ΒΆ

  • CFG_Block
  • CFG_Entry_Block
  • CFG_Exit_Block
  • CFG_Normal_Exit_Block
  • CFG_Exceptional_Exit_Block
  • CFG_Coroutine_Destroy_Exit_Block
  • CFG_Standard_Block
  • CFG_Single_Successor_Block
  • CFG_Exception_Block
  • CFG_Rethrow_Block
  • CFG_Throw_Block
  • CFG_Catch_Block
  • CFG_Catch_All_Block
  • CFG_General_Catch_Type_Block
  • CFG_Catch_Type_Block
  • CFG_MS_Except_Block
  • CFG_Call_Block
  • CFG_Branch_Block
  • CFG_If_Block
  • CFG_Switch_Block
  • CFG_Switch_With_Default_Block
  • CFG_Switch_Without_Default_Block
  • CFG_Case_Edge
  • CFG_Single_Case_Edge
  • CFG_Range_Case_Edge
  • CFG_Jump_Block
  • CFG_Structured_Jump_Block
  • CFG_Return_Jump_Block
  • CFG_Return_Value_Block
  • CFG_Return_Without_Value_Block
  • CFG_Break_Jump_Block
  • CFG_Break_Loop_Block
  • CFG_Break_Switch_Block
  • CFG_Leave_Block
  • CFG_End_Branch_Block
  • CFG_Continue_Jump_Block
  • CFG_Loop_Header_Jump_Block
  • CFG_Label_Header_Jump_Block
  • CFG_Jump_To_Next_Block
  • CFG_Jump_Back_Block
  • CFG_Goto_Block
  • CFG_Unknown_Successor_Block
  • CFG_Computed_Goto_Block
  • CFG_General_Suspend_Block
  • CFG_Suspend_Block
  • CFG_Suspend_Resume_Block
  • File_Scope
 
  • ← Method_Pointer_Call_Instruction
  • CFG_Block →
©2026, The Qt Company GmbH, a subsidiary of The Qt Group. | Powered by Sphinx 8.1.3 & Alabaster 1.0.0