hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 21:25:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

Autoformat

Browse Source
This commit is contained in:
Chris Smowton
2021-10-19 11:23:16 +01:00
parent 3c25301593
commit 0d66cebfba
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
java/ql/lib/semmle/code/java/dataflow/StringPrefixes.qll
View File

@@ -5,19 +5,19 @@
* may be appended to it, then check `InterestingPrefix.getAnAppendedExpression(Expr)` to get your results.
*
* For example, to identify expressions that may follow "foo:" in some string, we could define:
*
*
* ```
* private class FooPrefix extends InterestingPrefix {
* private class FooPrefix extends InterestingPrefix {
* int offset;
* FooPrefix() { this.getStringValue().substring("foo:") = offset };
* override int getOffset() { result = offset }
* FooPrefix() { this.getStringValue().substring("foo:") = offset };
* override int getOffset() { result = offset }
* };
*
*
* predicate mayFollowFoo(Expr e) { e = any(FooPrefix fp).getAnAppendedExpression() }
* ```
*
* This will identify all the `suffix` expressions in contexts such as:
*
*
* ```
* "foo:" + suffix1
* "barfoo:" + suffix2
@@ -33,7 +33,7 @@ private import semmle.code.java.StringFormat
/**
* A string constant that contains a prefix whose possible successor strings are returned
* by `getAnAppendedExpression`.
*
*
* Extend this class to specify prefixes whose successors should be analysed.
*/
abstract class InterestingPrefix extends CompileTimeConstantExpr {