mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
1.5 KiB
1.5 KiB
0.8.7
New Features
- Added a new library
semmle.code.java.security.Sanitizerswhich contains a new sanitizer classSimpleTypeSanitizer, which represents nodes which cannot realistically carry taint for most queries (e.g. primitives, their boxed equivalents, and numeric types). - Converted definitions of
isBarrierand sanitizer classes to useSimpleTypeSanitizerinstead of checking ifnode.getType()isPrimitiveTypeorBoxedType.
Minor Analysis Improvements
- Deleted many deprecated predicates and classes with uppercase
EJB,JMX,NFE,DNSetc. in their names. Use the PascalCased versions instead. - Deleted the deprecated
semmle/code/java/security/OverlyLargeRangeQuery.qll,semmle/code/java/security/regexp/ExponentialBackTracking.qll,semmle/code/java/security/regexp/NfaUtils.qll, andsemmle/code/java/security/regexp/NfaUtils.qllfiles. - Improved models for
java.lang.Throwableandjava.lang.Exception, and thevalueOfmethod ofjava.lang.String. - Added taint tracking for the following GSON methods:
com.google.gson.stream.JsonReaderconstructorcom.google.gson.stream.JsonWriterconstructorcom.google.gson.JsonObject.getAsJsonArraycom.google.gson.JsonObject.getAsJsonObjectcom.google.gson.JsonObject.getAsJsonPrimitivecom.google.gson.JsonParser.parseReadercom.google.gson.JsonParser.parseString
- Added a dataflow model for
java.awt.Desktop.browse(URI).
Bug Fixes
- Fixed regular expressions containing flags not being parsed correctly in some cases.