Apply suggestions from code review

Co-authored-by: Chris Smowton <smowton@github.com>
This commit is contained in:
Artem Smotrakov
2021-07-30 19:44:36 +02:00
committed by Fosstars
parent ad54c9d937
commit 9b953cf0fc
2 changed files with 1 additions and 2 deletions

View File

@@ -238,7 +238,7 @@ private predicate looksLikeConstant(Expr expr) {
* Holds if `firstObject` and `secondObject` are compared using a method
* that does not use a constant-time algorithm, for example, `String.equals()`.
*/
private predicate isNonConstantEqualsCall(Expr firstObject, Expr secondObject) {
private predicate isNonConstantTimeEqualsCall(Expr firstObject, Expr secondObject) {
exists(NonConstantTimeEqualsCall call |
firstObject = call.getQualifier() and
secondObject = call.getAnArgument()

View File

@@ -257,7 +257,6 @@ private predicate sinkModelCsv(string row) {
]
}
// TODO: add ByteBuffer
private predicate summaryModelCsv(string row) {
row =
[