Geoffrey White
65bf778b3a
CPP: Deprecate Expr.getKind() and Stmt.getKind().
2019-06-27 16:15:22 +01:00
Geoffrey White
47644b08b2
CPP: Normalize spacing.
2019-06-26 17:19:56 +01:00
Robert Marsh
8994a5acf1
C++: fix FP with ExprHasNoEffect in defaulted func
...
This is a workaround for an extractor issue where expressions in a
defaulted function are not always marked as generated. I haven't yet been
able to reproduce the issue in a test case.
2019-06-26 09:11:23 -07:00
Geoffrey White
4326699aa7
CPP: Extend the StrcpyFunction model.
2019-06-26 17:01:15 +01:00
Geoffrey White
39be9c3125
CPP: Use StrcpyFunction model in UsingStrcpyAsBoolean.ql.
2019-06-26 16:51:48 +01:00
Geoffrey White
a7fb2e1261
CPP: More test cases for ArithmeticWithExtremeValues.
2019-06-26 15:38:23 +01:00
Geoffrey White
f8655b1664
CPP: Add a test that uses Function.getAThrownType() and Function.isNoThrow().
2019-06-26 15:20:46 +01:00
Geoffrey White
e237507208
CPP: Add a reference to the ReturnConstType tests.
2019-06-26 15:20:46 +01:00
Geoffrey White
ac5b62ccff
CPP: Update comment in qhelp sample for accuracy and consistency.
2019-06-25 17:26:46 +01:00
Geoffrey White
fe315a9a1c
CPP: Make things private.
2019-06-25 17:08:35 +01:00
Geoffrey White
cb80aa3772
CPP: Rename the classes for time structs.
2019-06-25 16:49:25 +01:00
Geoffrey White
2e31f48a7a
CPP: Clean up StructFieldAccess.
2019-06-25 16:43:24 +01:00
Geoffrey White
66dffdde05
CPP: Correct overuse of 'toString'.
2019-06-25 16:38:16 +01:00
Geoffrey White
bc5fb24371
CPP: Correct overuse of 'matches'.
2019-06-25 15:13:38 +01:00
Geoffrey White
ab543aa0eb
CPP: QLDoc pass.
2019-06-25 15:12:27 +01:00
Geoffrey White
627fba81ce
CPP: Improve wording of UnsafeArrayForDAysOfYear.ql.
2019-06-25 14:42:18 +01:00
Geoffrey White
db6e2904a8
CPP: Simplify to 'CrementOperation'.
2019-06-25 14:17:20 +01:00
Geoffrey White
51caee67b0
CPP: Update comment so that it no longer contains (incorrect) line numbers.
2019-06-25 14:15:09 +01:00
Geoffrey White
fa1347f7ef
CPP: Remove security tags that haven't been justified.
2019-06-25 14:11:56 +01:00
Jonas Jensen
d2f8029625
Merge pull request #1492 from geoffw0/exprnoeffectweak
...
CPP: Fix for 'Expression has no effect' on calls to weak functions
2019-06-25 10:58:28 +02:00
Jonas Jensen
de65dc5501
Merge pull request #1490 from geoffw0/leapyeararith
...
CPP: Improvements to LeapYear.qll
2019-06-25 10:46:12 +02:00
Geoffrey White
9a0645ac0b
CPP: Calls to weak functions should be considered impure.
2019-06-24 22:04:12 +01:00
Geoffrey White
aee2af7ca1
CPP: Add a test of ExprHasNoEffect.ql with a call to a 'weak' function.
2019-06-24 22:01:46 +01:00
Geoffrey White
562141759a
CPP: Autoformat LeapYear.qll.
2019-06-24 15:20:24 +01:00
Geoffrey White
69533a7fd3
CPP: Clean up duplication in Adding365DaysPerYear.ql.
2019-06-24 15:18:29 +01:00
Geoffrey White
7fca220eda
CPP: Fix UncheckedLeapYearAfterYearModification FPs.
2019-06-24 11:21:48 +01:00
Geoffrey White
cff3f9bdaf
CPP: Add another test case based on a real world case.
2019-06-21 17:43:17 +01:00
Geoffrey White
b1f6294083
CPP: Add a test case where a date is created.
2019-06-21 14:32:44 +01:00
Geoffrey White
09b33bc1a7
CPP: Adjust file name case for consistency.
2019-06-21 12:53:04 +01:00
Geoffrey White
1a7269b206
CPP: Rename the test subdirectories.
2019-06-21 12:51:25 +01:00
Jonas Jensen
cace411974
C++: NonConstantFormat taint only for string types
...
To speed up the taint analysis in `NonConstantFormat.ql` and to remove
FPs that were due to taint spreading from `i` to `a[i]`, this commit
stops the taint tracking in `NonConstantFormat.ql` at every node that
could not possibly contain a string.
I tested performance on Wireshark, and it's fine. Pulling out the
`isSanitizerNode` prevented `isSanitizer` from turning into four
half-slow RA predicates due to both CPE and `#antijoin_rhs`
transformations happening.
2019-06-20 15:39:47 +02:00
Jonas Jensen
364100f043
Merge pull request #1480 from geoffw0/time
...
CPP: Speed up StructWithExactEraDate.ql
2019-06-20 15:27:52 +02:00
Jonas Jensen
e99c68885c
C++: Demonstrate ArrayExpr FP
2019-06-20 14:00:42 +02:00
Geoffrey White
0e69063e3c
CPP: Restore the query precision.
2019-06-20 12:39:16 +01:00
Geoffrey White
936afadc43
CPP: Speed up StructWithExactEraDate.ql.
2019-06-20 12:21:06 +01:00
Jonas Jensen
ad337de6ce
Merge branch 'master' into taintedallocfp
2019-06-19 15:35:09 +02:00
Jonas Jensen
53d4b2dfc9
Merge pull request #1365 from geoffw0/uninit
...
CPP: Fix for the 'LoopConditionAlwaysTrueUponEntry' logic
2019-06-19 11:01:57 +02:00
Jonas Jensen
9d18b351cc
Merge pull request #1469 from geoffw0/av95perf
...
CPP: Fix AV Rule 95 performance issue.
2019-06-19 10:32:57 +02:00
Jonas Jensen
0b891013a4
Merge pull request #1466 from geoffw0/castarrayperf
...
CPP: Resolve performance issue in CastArrayPointerArithmetic.ql
2019-06-19 10:23:23 +02:00
Jonas Jensen
ba3ec500fd
Merge pull request #1467 from geoffw0/dates-cleanup1
...
CPP: Follow-up for Mishandling Japanese Era and Leap Year in calculations
2019-06-18 20:13:33 +02:00
Geoffrey White
98d80deefb
CPP: Improved solution (mostly performance).
2019-06-18 15:56:22 +01:00
Geoffrey White
47ff38ef22
CPP: Add a warning to getFollowingStmt.
2019-06-18 15:56:22 +01:00
Geoffrey White
ef3ceb5910
CPP: Don't use getFollowingStmt.
2019-06-18 15:56:22 +01:00
Geoffrey White
536adaae7f
CPP: Additional test cases.
2019-06-18 15:56:22 +01:00
Geoffrey White
52b68a77bd
CPP: Remove commented out code.
2019-06-18 15:56:22 +01:00
Geoffrey White
56adcff2c9
CPP: Fix for LocalScopeReachability.
2019-06-18 15:56:22 +01:00
Geoffrey White
f4b4ddbdaf
CPP: Add a test examining the LoopEntryConditionEvaluator on this code.
2019-06-18 15:56:22 +01:00
Geoffrey White
12bbb0755f
CPP: Additional test cases.
2019-06-18 15:56:22 +01:00
Geoffrey White
6cca2d54f4
CPP: Autoformat.
2019-06-18 13:26:54 +01:00
Geoffrey White
717522f469
CPP: Fix qhelp more.
2019-06-18 13:00:41 +01:00
