CodeQL学习——java程序抽象语法树

声明类

下述表格列出了所有Stmt的子类：

Statement syntax	CodeQL class	Superclasses	Remarks
`;`	EmptyStmt
Expr `;`	ExprStmt
`{` Stmt `... }`	BlockStmt
`if (` Expr `)` Stmt `else` Stmt	IfStmt	ConditionalStmt
`if (` Expr `)` Stmt	IfStmt	ConditionalStmt
`while (` Expr `)` Stmt	WhileStmt	ConditionalStmt, LoopStmt
`do` Stmt `while (` Expr `)`	DoStmt	ConditionalStmt, LoopStmt
`for (` Expr `;` Expr `;` Expr `)` Stmt	ForStmt	ConditionalStmt, LoopStmt
`for (` VarAccess `:` Expr `)` Stmt	EnhancedForStmt	LoopStmt
`switch (` Expr `) {` SwitchCase `... }`	SwitchStmt
`try {` Stmt `... } finally {` Stmt `... }`	TryStmt
`return` Expr `;`	ReturnStmt
`return ;`	ReturnStmt
`throw` Expr `;`	ThrowStmt
`break ;`	BreakStmt	JumpStmt
`break label ;`	BreakStmt	JumpStmt
`continue ;`	ContinueStmt	JumpStmt
`continue label ;`	ContinueStmt	JumpStmt
`label :` Stmt	LabeledStmt
`synchronized (` Expr `)` Stmt	SynchronizedStmt
`assert` Expr `:` Expr `;`	AssertStmt
`assert` Expr `;`	AssertStmt
TypeAccess `name ;`	LocalVariableDeclStmt
`class name {` Member `... } ;`	LocalClassDeclStmt
`this (` Expr `, ... ) ;`	ThisConstructorInvocationStmt
`super (` Expr `, ... ) ;`	SuperConstructorInvocationStmt
`catch (` TypeAccess `name ) {` Stmt `... }`	CatchClause		can only occur as child of a TryStmt
`case` Literal `:` Stmt `...`	ConstCase		can only occur as child of a SwitchStmt
`default :` Stmt `...`	DefaultCase		can only occur as child of a SwitchStmt

表达式类分成很多种，本节的所有类都是Expr的子类。

下面表格中列出的都是Literal的子类：

下面表格中列出的都是UnaryExpr的子类：

Expression syntax	CodeQL class	Superclasses	Remarks
Expr`++`	PostIncExpr	UnaryAssignExpr
Expr`--`	PostDecExpr	UnaryAssignExpr
`++`Expr	PreIncExpr	UnaryAssignExpr
`--`Expr	PreDecExpr	UnaryAssignExpr
`~`Expr	BitNotExpr	BitwiseExpr	see below for other subclasses of BitwiseExpr
`-`Expr	MinusExpr
`+`Expr	PlusExpr
`!`Expr	LogNotExpr	LogicExpr	see below for other subclasses of LogicExpr

下面表格中列出的都是BinaryExpr的子类：

下面表格中列出的都是 Assignment的子类：

Expression syntax examples	CodeQL class	Remarks
`(int) f`	CastExpr
`(23 + 42)`	ParExpr
`o instanceof String`	InstanceOfExpr
Expr `?` Expr `:` Expr	ConditionalExpr
`String. class`	TypeLiteral
`new A()`	ClassInstanceExpr
`new String[3][2]`	ArrayCreationExpr
`new int[] { 23, 42 }`	ArrayCreationExpr
`{ 23, 42 }`	ArrayInit	can only appear as an initializer or as a child of an ArrayCreationExpr
`@Annot(key=val)`	Annotation

posted @ 2021-05-08 21:07 bamb00 阅读(954) 评论(0) 收藏举报

刷新页面返回顶部