Rasmus Wriedt Larsen
|
caf73e4b9b
|
Python: Wrap all Stdlib modeling consistently
Some of these predicates had fallen outside the `private module Stdlib`
|
2020-11-24 18:27:29 +01:00 |
|
James Fletcher
|
b5626cbb70
|
Merge pull request #4713 from github/sd-277
[Docs] Combine non-migrated content into single project
|
2020-11-24 16:39:37 +00:00 |
|
Geoffrey White
|
8184f76d1f
|
C++: Sync identical files.
|
2020-11-24 16:29:14 +00:00 |
|
Geoffrey White
|
d677305c90
|
C++: Create tests readme.
|
2020-11-24 16:08:02 +00:00 |
|
Mathias Vorreiter Pedersen
|
648acc3bfc
|
C++: Prevent IR re-evaluation by importing GVN.
|
2020-11-24 17:04:54 +01:00 |
|
Cornelius Riemenschneider
|
026abae323
|
C++: Simplify some more.
|
2020-11-24 17:00:47 +01:00 |
|
Asger Feldthaus
|
432a59185f
|
Merge branch 'js/api-graph-tweaks' of github.com:asgerf/codeql into js/api-graph-tweaks
|
2020-11-24 14:32:28 +00:00 |
|
Asger Feldthaus
|
cf12b65c80
|
JS: Autoformat
|
2020-11-24 14:32:20 +00:00 |
|
Rasmus Wriedt Larsen
|
aa4345ac76
|
Merge pull request #4710 from yoff/python-dataflow-variable-capture
Python: Dataflow, variable capture
|
2020-11-24 15:04:38 +01:00 |
|
yoff
|
215986bce5
|
Apply suggestions from code review
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
|
2020-11-24 14:12:23 +01:00 |
|
Rasmus Lerchedahl Petersen
|
05d156ba0f
|
Python: add comments
|
2020-11-24 14:11:14 +01:00 |
|
CodeQL CI
|
8c68463e76
|
Merge pull request #4711 from erik-krogh/locType
Approved by asgerf
|
2020-11-24 13:10:32 +00:00 |
|
Anders Schack-Mulligen
|
b192f6dfe0
|
Java: Remove some deprecated classes.
|
2020-11-24 14:04:01 +01:00 |
|
Anders Schack-Mulligen
|
3f04099c25
|
Update java/ql/src/experimental/CWE-918/RequestForgery.ql
Co-authored-by: Chris Smowton <smowton@github.com>
|
2020-11-24 13:18:58 +01:00 |
|
Jonas Jensen
|
260a8d4afb
|
Merge pull request #4702 from MathiasVP/qualifier-as-parameter-for-callee
C++: Abstractions for treating qualifiers as parameters in IR
|
2020-11-24 12:58:27 +01:00 |
|
CodeQL CI
|
2277242196
|
Merge pull request #4692 from yoff/python-psycopg
Approved by RasmusWL
|
2020-11-24 10:59:04 +00:00 |
|
Rasmus Lerchedahl Petersen
|
80dcb8da4a
|
Python: annotate missing flow
|
2020-11-24 11:55:28 +01:00 |
|
Geoffrey White
|
bc23809e1b
|
Merge branch 'main' into modelchanges2
|
2020-11-24 10:49:14 +00:00 |
|
Cornelius Riemenschneider
|
7983b16e84
|
C++: Simplify and generalize EscapesTree::addressMayEscapeMutablyAt predicate.
|
2020-11-24 11:35:18 +01:00 |
|
Anders Schack-Mulligen
|
0450489022
|
Java: Review fixes.
|
2020-11-24 11:31:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
9d21b226d2
|
Merge branch 'main' into qualifier-as-parameter-for-callee
|
2020-11-24 11:13:14 +01:00 |
|
Cornelius Riemenschneider
|
14a03e2f54
|
Merge pull request #4715 from MathiasVP/remove-failing-duplicate-tests
C++: Remove duplication-tests
|
2020-11-24 11:04:46 +01:00 |
|
Rasmus Lerchedahl Petersen
|
737f4dff09
|
Python: update test annotations
|
2020-11-24 10:57:57 +01:00 |
|
Rasmus Lerchedahl Petersen
|
da805f8242
|
Merge remote-tracking branch 'upstream/main' into python-dataflow-modernize-tests
|
2020-11-24 10:56:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
08f8660b17
|
C++/C#: Add pragma[noinline] to hasIndex predicates.
|
2020-11-24 10:45:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
8bd14c5af6
|
C++: Remove duplication-tests directory since we no longer detect duplication.
|
2020-11-24 10:10:31 +01:00 |
|
Rasmus Lerchedahl Petersen
|
a19304a4a0
|
Python: Factor out prettyPrinter and update tests
|
2020-11-24 02:17:38 +01:00 |
|
Erik Krogh Kristensen
|
f03429a4b8
|
change description for source root folder
|
2020-11-23 23:46:44 +01:00 |
|
CodeQL CI
|
9123f249ad
|
Merge pull request #4705 from erik-krogh/bigString
Approved by asgerf
|
2020-11-23 22:40:42 +00:00 |
|
Asger F
|
ac6d4aac9d
|
Apply suggestions from code review
Co-authored-by: Max Schaefer <54907921+max-schaefer@users.noreply.github.com>
|
2020-11-23 21:20:38 +00:00 |
|
Asger Feldthaus
|
d3412bb0ec
|
JS: Fix typo in NoSQL model
|
2020-11-23 21:19:17 +00:00 |
|
james
|
9702326232
|
add leftover docs to support project
|
2020-11-23 16:18:45 +00:00 |
|
Asger Feldthaus
|
85f0a627c4
|
JS: Autoformat
|
2020-11-23 16:17:22 +00:00 |
|
Asger Feldthaus
|
c146e044ca
|
JS: Update NoSQL model
|
2020-11-23 16:17:00 +00:00 |
|
Asger Feldthaus
|
b6b8a55b37
|
JS: Add test case
|
2020-11-23 16:16:50 +00:00 |
|
Erik Krogh Kristensen
|
33dab1717e
|
treat nodes with type "Location" as a location source - but not if we can track it from an original node with type "Location"
|
2020-11-23 17:03:50 +01:00 |
|
Rasmus Lerchedahl Petersen
|
39c5e0d487
|
Python: update test expectations
|
2020-11-23 16:46:35 +01:00 |
|
Rasmus Lerchedahl Petersen
|
38bb06a207
|
Merge remote-tracking branch 'upstream/main' into python-dataflow-variable-capture
|
2020-11-23 16:40:20 +01:00 |
|
Asger Feldthaus
|
ac00e02855
|
JS: Add API::Node.getAValueReachingRhs
|
2020-11-23 15:37:08 +00:00 |
|
Asger Feldthaus
|
3b5ff73862
|
JS: Introduce API::InvokeNode to simplify reasoning about calls
|
2020-11-23 15:36:32 +00:00 |
|
Tom Hvitved
|
129deb0a00
|
C#: Add change note
|
2020-11-23 16:09:33 +01:00 |
|
Tom Hvitved
|
cd77f14a75
|
C#: Rename getSourceDeclaration() to getUnboundDeclaration()
|
2020-11-23 16:09:33 +01:00 |
|
Geoffrey White
|
7015a9cf53
|
C++: Un-private a few classes that are now used by the current DefaultSafeExternalAPIFunction implementation.
|
2020-11-23 14:47:22 +00:00 |
|
Anders Schack-Mulligen
|
2cf10a7658
|
Merge pull request #4427 from aschackmull/java/fastjson
Java: Add support for FastJson in unsafe deserialization.
|
2020-11-23 14:40:14 +01:00 |
|
Erik Krogh Kristensen
|
f7f9beeefd
|
avoid reporting empty names in js/exposure-of-private-files
|
2020-11-23 14:24:42 +01:00 |
|
Erik Krogh Kristensen
|
02d5fbf46b
|
remove superfluous space
|
2020-11-23 14:22:16 +01:00 |
|
Rasmus Wriedt Larsen
|
9156163563
|
Merge pull request #4703 from github/hmakholm/pr/duplicate-code-2
Remove unit tests for duplicate-code detection, take II
|
2020-11-23 13:52:24 +01:00 |
|
Tom Hvitved
|
f0f5d44b33
|
C#: Replace BreakNormalCompletion with a nested completion
|
2020-11-23 11:38:24 +01:00 |
|
Tom Hvitved
|
17df059432
|
C#: Replace matchesCompletion() with getAMatchingSuccessorType()
|
2020-11-23 11:38:24 +01:00 |
|
Tom Hvitved
|
f3abaa406c
|
C#: Refactor CFG implementation
|
2020-11-23 11:38:24 +01:00 |
|