subtitle
Javadoc Javadoc
Javadoc¶You can use CodeQL to find errors in Javadoc comments in Java code. 您可以使用CodeQL来查找Java代码中Javadoc注释的错误。 About a
2021-03-26
Annotations in Java Annotations in Java
Annotations in Java¶CodeQL databases of Java projects contain information about all annotations attached to program elem
2021-03-26
Navigating the call graph Navigating the call graph
Navigating the call graph¶CodeQL has classes for identifying code that calls other code, and code that can be called fro
2021-03-25
Overflow-prone comparisons in Java Overflow-prone comparisons in Java
title: Overflow-prone comparisons in Javaphotos: ‘https://acg.toubiec.cn/random?ssl=true&id=zOcwUy5cQWGbSmnx'date:
2021-03-25 SummerSec
Types in Java Types in Java
Types in Java¶You can use CodeQL to find out information about data types used in Java code. This allows you to write qu
2021-03-24
Analyzing data flow in Java Analyzing data flow in Java
Analyzing data flow in Java¶You can use CodeQL to track the flow of data through a Java program to its use. 你可以使用CodeQL
2021-03-23
Basic query for Java code Basic query for Java code
Basic query for Java code¶Learn to write and run a simple CodeQL query using LGTM. 学习使用LGTM编写并运行一个简单的CodeQL查询。 About t
2021-03-22
Shiro-550反序列化漏洞分析 Shiro-550反序列化漏洞分析
概述   Shiro反序列化漏洞目前为止有两个,Shiro-550(Apache Shiro < 1.2.5)和Shiro-721( Apache Shiro < 1.4.2 )。这两个漏洞主要区别在于Shiro550使用已
2021-03-21
Formulas Formulas
Formulas¶公式Formulas define logical relations between the free variables used in expressions. 公式定义了表达式中使用的自由变量之间的逻辑关系。
2021-03-17
Expression Expression
Expressions¶表达式An expression evaluates to a set of values and has a type. 表达式对一组值进行评估,并有一个类型。 For example, the express
2021-03-16
2 / 7