mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
2.5 KiB
2.5 KiB
0.8.1
New Features
- Added predicate
MemberRefExpr::getReceiverExpr
Minor Analysis Improvements
- The
isBarrier,isBarrierIn,isBarrierOut, andisAdditionalFlowStepmethods of the taint-tracking configurations for local queries in theArithmeticTaintedLocalQuery,ExternallyControlledFormatStringLocalQuery,ImproperValidationOfArrayIndexQuery,NumericCastTaintedQuery,ResponseSplittingLocalQuery,SqlTaintedLocalQuery, andXssLocalQuerylibraries have been changed to match their remote counterpart configurations. - Deleted the deprecated
isBarrierGuardpredicate from the dataflow library and its uses, useisBarrierand theBarrierGuardmodule instead. - Deleted the deprecated
getAValuepredicate from theAnnotationclass. - Deleted the deprecated alias
FloatingPointLiteral, useFloatLiteralinstead. - Deleted the deprecated
getASuppressedWarningLiteralpredicate from theSuppressWarningsAnnotationclass. - Deleted the deprecated
getATargetExpressionpredicate form theTargetAnnotationclass. - Deleted the deprecated
getRetentionPolicyExpressionpredicate from theRetentionAnnotationclass. - Deleted the deprecated
conditionCheckpredicate fromPreconditions.qll. - Deleted the deprecated
semmle.code.java.security.performancefolder, usesemmle.code.java.security.regexpinstead. - Deleted the deprecated
ExternalAPIclass fromExternalApi.qll, useExternalApiinstead. - Modified the
EnvInputclass insemmle.code.java.dataflow.FlowSourcesto includeenvironmentandfilesource nodes. There are no changes to results unless you add source models using theenvironmentorfilesource kinds. - Added
environmentsource models for the following methods:java.lang.System#getenvjava.lang.System#getPropertiesjava.lang.System#getPropertyjava.util.Properties#getjava.util.Properties#getProperty
- Added
filesource models for the following methods:- the
java.io.FileInputStreamconstructor hudson.FilePath#newInputStreamDenyingSymlinkAsNeededhudson.FilePath#openInputStreamhudson.FilePath#readhudson.FilePath#readFromOffsethudson.FilePath#readToString
- the
- Modified the
DatabaseInputclass insemmle.code.java.dataflow.FlowSourcesto includedatabasesource nodes. There are no changes to results unless you add source models using thedatabasesource kind. - Added
databasesource models for the following method:java.sql.ResultSet#getString