Robert Marsh
6167a556fd
Merge pull request #1380 from dave-bartolomeo/dave/RangeFor
...
C++: IR support for range-based `for` loops
2019-05-30 17:21:42 -07:00
semmle-qlci
0fa06e5c8d
Merge pull request #1180 from asger-semmle/tainted-path-squashed
...
Approved by xiemaisi
2019-05-30 17:20:19 +01:00
Mark Shannon
6689994285
Python points-to: Minor refactoring for clarity.
2019-05-30 17:18:16 +01:00
Dave Bartolomeo
f4d41a15d7
C++: Add change not
2019-05-30 08:33:57 -07:00
Dave Bartolomeo
e90403be31
C++: Make constructor-used-as-copy-constructor warning/low
...
This query is supposed to look for constructors that unintentionally qualify as copy constructors due to default arguments. There are quite a few real-world projects that define such constructors intentionally. I've reduced the severity to "warning" and the precision to "low" due to the high false positive rate.
2019-05-30 08:33:26 -07:00
semmle-qlci
b17eb5cc9d
Merge pull request #1384 from asger-semmle/typescript-3.5
...
Approved by xiemaisi
2019-05-30 15:53:27 +01:00
semmle-qlci
9614a1a039
Merge pull request #1385 from xiemaisi/js/lgtm-yml-change-notes
...
Approved by mc-semmle
2019-05-30 15:25:49 +01:00
Asger F
be5173680d
Merge pull request #2 from xiemaisi/tainted-path-squashed
...
JavaScript: Update expected test output.
2019-05-30 15:16:19 +01:00
Max Schaefer
a3be6be17d
JavaScript: Add change notes for newly added lgtm.yml properties.
2019-05-30 15:11:35 +01:00
Max Schaefer
3c8aea26da
JavaScript: Update expected test output.
2019-05-30 15:05:43 +01:00
Asger F
9b28a3adf0
Merge pull request #1 from xiemaisi/tainted-path-squashed
...
JavaScript: Remove a few more configurations from AllConfigurations.qll.
2019-05-30 13:26:42 +01:00
Max Schaefer
5ac408d641
JavaScript: Remove a few more configurations from AllConfigurations.qll.
...
This works around BDD node exhaustion we get due to the complex type
hierarchy caused by importing many configurations at once. I've also
renamed the library accordingly.
2019-05-30 13:13:16 +01:00
Asger F
320f484e7e
TS: Rephrase change note
2019-05-30 12:48:05 +01:00
Asger F
d6010d7be7
TS: Update supported compiler version range
2019-05-30 12:45:26 +01:00
Asger F
72c0925967
TS: Bump to TypeScript 3.5.1
2019-05-30 11:40:25 +01:00
Geoffrey White
d672a6e13e
Merge pull request #1376 from jbj/getName-direct
...
C++: Use Definition.qll's getName
2019-05-30 10:01:12 +01:00
Jonas Jensen
2b424bfb81
C++: Clarify getAQualifierForMembers
2019-05-30 10:06:35 +02:00
Jonas Jensen
4f304fcbf7
C++: Fix join order in RedundantNullCheckSimple
...
The join order broke again after the last change.
2019-05-30 09:43:56 +02:00
Jonas Jensen
a61aec9e63
C++: Fix ValueNumbering for CopyInstruction
...
Querying for overlap type wasn't possible when this library was first
written. This change fixes FPs in `RedundantNullCheckSimple.ql` on
Wireshark and other real-world projects.
2019-05-30 09:42:46 +02:00
Jonas Jensen
120df6054b
C++: Demonstrate a FP due to GVN
2019-05-30 09:41:42 +02:00
Jonas Jensen
2e7daf2308
C++: Use GVN in RedundantNullCheckSimple
2019-05-30 09:41:42 +02:00
Dave Bartolomeo
aff85c5b24
C++: IR support for range-based for loops
...
IR construction was missing support for C++ 11 range-based `for` loops. The extractor generates ASTs for the compiler-generated implementation already, so I had enough information to generate IR. I've expanded on some of the predicates in `RangeBasedForStmt` to access the desugared information.
One complication was that the `DeclStmt`s for the compiler-generated variables seem to have results for `getDeclaration()` but not for `getDeclarationEntry()`. This required handling these slightly differently than we do for other `DeclStmt`s.
The flow for range-based `for` is actually easier than for a regular `for`, because all three components (init, condition, and update) are always present.
2019-05-29 14:40:29 -07:00
Calum Grant
59a006e59e
Merge pull request #1368 from hvitved/csharp/cil-nullness
...
CIL: Account for multiple `VariableUpdate::getSource()`s in nullness analysis
2019-05-29 20:55:08 +01:00
Geoffrey White
665510a13c
CPP: Add DangerousFunctionOverflow.ql to the security suite.
2019-05-29 16:36:02 +01:00
alexey
9377638834
Improve query help
2019-05-29 16:28:07 +01:00
alexey
86ec047be2
Rename files by style guide and change query metadata
2019-05-29 15:35:58 +01:00
Mark Shannon
71ae61c9f7
Python points-to: Remove duplicate import.
2019-05-29 15:02:59 +01:00
Mark Shannon
1ed3e5d9bc
Python points-to: Fix ordering of string constants.
2019-05-29 15:02:59 +01:00
Mark Shannon
7181a025f8
Python points-to: Update expected results to account for fixed tuple formatting.
2019-05-29 15:02:59 +01:00
Felicity Chapman
a782585d74
Merge pull request #1374 from jf205/update-readme/sd-3458
...
docs: add link to style guides in readme
2019-05-29 14:42:46 +01:00
Jonas Jensen
241ef3c873
Merge pull request #1315 from geoffw0/ctime
...
CPP: Split PotentiallyDangerousFunction.ql
2019-05-29 15:40:34 +02:00
Jonas Jensen
df4c57648c
C++: Support inline namespaces in hasQualifiedName
2019-05-29 15:22:42 +02:00
Jonas Jensen
4bb65fddf7
C++: Test that hasQualifiedName/3 ignores inline
2019-05-29 15:22:42 +02:00
Tom Hvitved
abc7cf2ef1
C#: Add change note
2019-05-29 15:18:45 +02:00
Tom Hvitved
6b99e1a1bf
C#: Teach cs/useless-upcast about disambiguating constructor calls
2019-05-29 15:16:08 +02:00
Tom Hvitved
d8482083b9
C#: Add tests for disambiguated constructor calls
2019-05-29 15:14:30 +02:00
alexey
96380f6767
Edit query metadata and help and add new entry to the change-notes 1.21
2019-05-29 13:22:35 +01:00
Jonas Jensen
f8644b1023
C++: Use Definition.qll's getName
...
It turns out we didn't have to move the `getName` implementation into
the mirror classes in `QualifiedName`. Doing so only made it harder for
the optimiser to specialize calls to `getName` on various kinds of
`Declaration`.
2019-05-29 14:18:10 +02:00
Jonas Jensen
b4f19eebdd
C++: Revert the getName() changes
...
This reverts the `getName()` parts of 56e88cbac0 and 0a2e28858a .
2019-05-29 14:15:45 +02:00
Tom Hvitved
884ef4c960
Merge pull request #1362 from calumgrant/cs/cs8/testing
...
C#: Various small C#8 features
2019-05-29 14:00:43 +02:00
Tom Hvitved
c68dfb9d68
C#: Switch expression guards
2019-05-29 13:50:42 +02:00
james
59bca9026c
docs: address review comments
2019-05-29 11:53:53 +01:00
Geoffrey White
6c267f4957
CPP: Fix qhelp.
2019-05-29 10:35:49 +01:00
Geoffrey White
76d18b42b8
CPP: Repair getQualifiedName changes from elsewhere.
2019-05-29 10:35:49 +01:00
Geoffrey White
2e932b6675
CPP: Change notes.
2019-05-29 10:35:49 +01:00
Geoffrey White
eb880c3f9f
CPP: Reference URLs.
2019-05-29 10:35:49 +01:00
Geoffrey White
dc44d686d4
CPP: Update CWE tag.
2019-05-29 10:35:49 +01:00
Geoffrey White
34444ace8b
CPP: Update the query name and description.
2019-05-29 10:35:49 +01:00
Geoffrey White
2ae38a54af
CPP: Adjust query tags.
2019-05-29 10:35:49 +01:00
Geoffrey White
9da2ead1f7
CPP: Remove redundant tests.
2019-05-29 10:35:49 +01:00