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
7.5.5.3. Physical Part
Interfaces (physical)
Storage Class Specifiers (physical)
Root (physical)
Strings and Names, Qualifiers (physical)
Build Messages (physical)
System Structure (physical)
Inheritance (physical)
Declarations (physical)
Namespaces (physical)
Using (physical)
Templates (physical)
Flow Control (physical)
Loops (physical)
Loop_Statement
C_For_Loop
CPP_For_Range_Loop
MS_For_Each_Loop
Do_While_Loop
While_Loop
Switch_Statement
C_Switch_Statement
Try_Statement
Try_Catch_Statement
Try_Finally_Statement
Try_Except_Statement
Try_Catch_Finally_Statement
Catch_Block
Catch_All_Block
Catch_One_Block
Sequences (physical)
Labels (physical)
Asm Handling (physical)
Typed Operations (usual expressions) (physical)
Symbol References (physical)
Literals (physical)
Builtin Expressions (physical)
Assignments (physical)
Operators (physical)
Calls (physical)
Lambdas (C++11) (physical)
Conditionals (physical)
Template Arguments and Generics (physical)
Subprograms (physical)
Objects (physical)
Type Definitions (physical)
Definitions of Typedef and Alias Types (physical)
Unnamed Types, In-Place Type Compositions and Type Selections (physical)
Definitions of Array Types (physical)
Definitions/Uses of Qualified Types (physical)
Definitions of User Types without a Name (unions, enums etc.) (physical)
Definitions of Pointer Types (physical)
Definition of Types of Functions, used in Typedefs and in Function Pointers (physical)
Type Declarations (physical)
Attributes (physical)
Preprocessing (physical)
CSharp Base Interfaces (physical)
CSharp Generics (physical)
C++/CLI Generic Declarations (physical)
CSharp Properties and Indexers (physical)
Expressions (Typed Operations) (physical)
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
←
Expression_Statement
Loop_Statement
→
Loops (physical)
ΒΆ
Loop_Statement
C_For_Loop
CPP_For_Range_Loop
MS_For_Each_Loop
Do_While_Loop
While_Loop
Switch_Statement
C_Switch_Statement
Try_Statement
Try_Catch_Statement
Try_Finally_Statement
Try_Except_Statement
Try_Catch_Finally_Statement
Catch_Block
Catch_All_Block
Catch_One_Block
←
Expression_Statement
Loop_Statement
→