Hector Cuesta
66d77a43bd
Fix typo in comment and TaintTrackingConfiguration name
2020-05-19 15:15:03 +01:00
Hector Cuesta
e18d8c5234
Remove duplicated CWE in security tag
2020-05-19 15:12:43 +01:00
Hector Cuesta
7d1ef92fbf
Remove unnecessary CWE reference.
2020-05-19 15:09:17 +01:00
Tom Hvitved
431403f5db
Data flow: Remove deprecated predicates
2020-05-19 15:42:59 +02:00
Tom Hvitved
2519e8a5f1
C#: Remove more deprecated classes and predicates
2020-05-19 15:39:17 +02:00
Tom Hvitved
9db8b993a9
C#: Remove two deprecated predicates
2020-05-19 15:32:29 +02:00
Dave Bartolomeo
01c2f0ce01
C++/C#: Fix formatting
2020-05-18 18:02:00 -04:00
Dave Bartolomeo
42c659b8f2
C++/C#: Remove UnmodeledDefinition instruction
2020-05-18 15:08:50 -04:00
Dave Bartolomeo
35868d4e5b
C++/C#: Change dump of unmodeled use to m?
...
This is kind of inconsequential on its own, but will make the test diffs easier to understand once the next commit removes `UnmodeledDefinition`.
2020-05-18 10:47:43 -04:00
Mathias Vorreiter Pedersen
a42d80aa14
Merge pull request #3481 from dbartol/github/codeql-c-analysis-team/69
...
C++/C#: Allow memory operands to lack a definition
2020-05-16 11:53:00 +02:00
Dave Bartolomeo
96c87b309b
C++/C#: Use unique to get a better join order
...
The previous changes made the optimizer choose a bad join order for the RHS of the antijoin in `addressOperandAllocationAndOffset`. Once again, `unique` to the rescue.
2020-05-15 17:36:43 -04:00
Hector Cuesta
16e39414bc
Reword of help file
2020-05-15 18:14:52 +01:00
Hector Cuesta
ef53e443b7
Fix typo in comment
2020-05-15 17:17:42 +01:00
Hector Cuesta
a022086498
Add experimental query for Tainted WebClient
2020-05-15 16:30:10 +01:00
Calum Grant
da6c37d7dc
C#: Update test output.
2020-05-15 15:40:49 +01:00
Tom Hvitved
cd9538d0d9
Merge remote-tracking branch 'upstream/master' into dataflow/precise-field-types
2020-05-15 15:24:05 +02:00
Calum Grant
5787871734
Merge pull request #3351 from hvitved/csharp/unification-nested-types
...
C#: Teach unification library about nested types
2020-05-15 14:11:00 +01:00
Calum Grant
cc844648ff
Merge pull request #3365 from hvitved/csharp/format-queries-path-problem
...
C#: Convert `string.format()` queries to path queries
2020-05-15 14:08:54 +01:00
Dave Bartolomeo
89ec60c948
C++/C#: Add missing QLDoc
2020-05-15 09:01:16 -04:00
Dave Bartolomeo
bcddaf4c29
C++/C#: Fix formatting
2020-05-15 08:56:32 -04:00
Calum Grant
84bce9f742
C#: Extract indexed initializers correctly.
2020-05-15 12:50:53 +01:00
Tom Hvitved
01102b309b
C#: Rename predicates
2020-05-15 09:06:12 +02:00
Dave Bartolomeo
4614372873
C++/C#: Add QLDoc
2020-05-14 17:49:23 -04:00
Dave Bartolomeo
6c12b59f0f
C++/C#: Allow non-Phi memory operands to have no definition
2020-05-14 17:22:23 -04:00
Dave Bartolomeo
9de597db25
C++: Refactor Operand to prepare for cross-phase IPA sharing
2020-05-14 10:29:08 -04:00
Tom Hvitved
2c243ad1cd
C#: Add data-flow test
2020-05-14 15:58:50 +02:00
Tom Hvitved
aa83cc1472
Data flow: Sync files
2020-05-14 15:58:50 +02:00
Tom Hvitved
a0d100485b
Data flow: Rename Content variables from f to c
2020-05-14 15:58:50 +02:00
Tom Hvitved
f1cd53507d
Data flow: Track precise types during field flow
2020-05-14 15:58:50 +02:00
Dave Bartolomeo
5d3f25211d
C++/C#: Remove UnmodeledUse instruction
2020-05-13 01:06:40 -04:00
Dave Bartolomeo
7f2c6dd9f9
C++/C#: Remove UnmodeledUseOperand
2020-05-13 01:05:27 -04:00
jcreedcmu
3c233c762c
Merge pull request #3431 from jcreedcmu/jcreed/jump-to-def-langs
...
Java, Javascript, Csharp: Add jump-to-definition queries
2020-05-12 10:54:11 -04:00
Tom Hvitved
d0c607c83f
Address review comments
2020-05-12 16:13:02 +02:00
Jason Reed
569083d6d1
Csharp: Make Use class public, since definitions query needs it
2020-05-12 08:52:02 -04:00
Jason Reed
66da91fe59
Java, Javascript, Csharp: Restrict definitions predicates
...
Only expose definition-use relation itself, and getEncodedFile.
2020-05-11 15:14:16 -04:00
Dave Bartolomeo
e5bd66809a
C++/C#: Add QLDoc for renamed queries
2020-05-11 14:16:21 -04:00
Dave Bartolomeo
09d1da2f7a
C++/C#: Rename sanity -> consistency
...
I did both of these languages together because they share some of the changed code via `identical-files.json`.
2020-05-11 13:29:52 -04:00
Jonas Jensen
cec73e689e
Merge pull request #3393 from dbartol/codeql-c-analysis-team/40/1
...
C++: A few IR QLDoc comments
2020-05-11 15:56:43 +02:00
Calum Grant
91229f8d52
Merge pull request #3398 from hvitved/csharp/missing-x-frame-option
...
C#: More results for `cs/web/missing-x-frame-options`
2020-05-11 10:28:26 +01:00
Tom Hvitved
c2c4142271
Merge pull request #3306 from calumgrant/cs/extraction-nullability
...
C#: Enable nullability in Semmle.Extraction project
2020-05-11 08:40:31 +02:00
Jason Reed
beccdce108
C#: Refactor definitions query, add queries for ide search
...
This enables jump-to-definition and find-references in the VS Code
extension, for C# source archives.
2020-05-08 07:31:50 -04:00
Dave Bartolomeo
e435484740
C++/C#: Fix formatting
2020-05-07 08:39:01 -04:00
Calum Grant
313c9ac6ec
C#: Address review comments.
2020-05-07 10:35:29 +01:00
Dave Bartolomeo
f0e86a9191
C++: Add missing module comment
2020-05-06 17:30:20 -04:00
Dave Bartolomeo
df4fdaf6ff
C++: Fix PR feedback
...
Note that the various predicates to access the singleton instances of the `EdgeKind` classes have been moved into a module named `EdgeKind`.
2020-05-06 17:06:48 -04:00
Tom Hvitved
0466e36985
C#: Teach Implements.qll about nested types
2020-05-06 09:25:40 +02:00
Tom Hvitved
f9ece0aefb
C#: Add implements test for nested types
2020-05-06 09:25:40 +02:00
Tom Hvitved
4c1a9b25c1
C#: Teach unification library about nested types
2020-05-06 09:25:40 +02:00
Tom Hvitved
851fc98b01
C#: Add type unification tests for nested types
2020-05-06 09:25:40 +02:00
Jonas Jensen
63f04afa8d
Merge pull request #3312 from hvitved/dataflow/impl-no-postupdate
...
Data flow: Support stores into nodes that are not `PostUpdateNode`s
2020-05-06 09:09:31 +02:00
