mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
1009 B
1009 B
2.1.0
New Features
- Added a new predicate
DataFlow::getARuntimeTargetfor getting a function that may be invoked by aCallexpression. UnlikeCall.getTargetthis new predicate may also resolve function pointers. - Added the predicate
mayBeFromImplicitlyDeclaredFunction()to theCallclass to represent calls that may be the return value of an implicitly declared C function. - Added the predicate
getAnExplicitDeclarationEntry()to theFunctionclass to get aFunctionDeclarationEntrythat is not implicit. - Added classes
RequiresExpr,SimpleRequirementExpr,TypeRequirementExpr,CompoundRequirementExpr, andNestedRequirementExprto represent C++20 requires expressions and the simple, type, compound, and nested requirements that can occur inrequiresexpressions.
Minor Analysis Improvements
- The function call target resolution algorithm has been improved to resolve more calls through function pointers. As a result, dataflow queries may have more results.