Rebecca Valentine
|
91ea46f5ee
|
Adds test output.
|
2020-02-20 15:41:51 -08:00 |
|
Rebecca Valentine
|
115495450d
|
Adds test cases.
|
2020-02-20 15:41:51 -08:00 |
|
Rebecca Valentine
|
96b8d78650
|
Adds modernized files.
|
2020-02-20 15:41:51 -08:00 |
|
Mathias Vorreiter Pedersen
|
780010d8f9
|
C++/C#: Sync identical files
|
2020-02-20 22:15:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c08783158
|
C++: Accept output
|
2020-02-20 22:13:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
4545ad0f93
|
C++: Add sanity check to Instruction.qll
|
2020-02-20 22:09:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
76e5bd59df
|
C++: Change edge to DefaultEdge
|
2020-02-20 22:08:16 +01:00 |
|
Robert Marsh
|
7a7444b4e1
|
Docs: Simplify change note
Co-Authored-By: Felicity Chapman <felicitymay@github.com>
|
2020-02-20 12:50:52 -08:00 |
|
Tom Hvitved
|
a772b82fea
|
Address review comments
|
2020-02-20 19:48:49 +01:00 |
|
Taus Brock-Nannestad
|
913db460b2
|
Python: Add AST support for special operations.
These have the form `$name(arg1, arg2, ...)` and currently have no semantics.
They may be useful for testing purposes, however.
|
2020-02-20 18:05:37 +01:00 |
|
Nick Rolfe
|
46b226e0c5
|
C++: add more extensive test for desugaring of range-based-for loops
|
2020-02-20 16:15:22 +00:00 |
|
semmle-qlci
|
2df3fe8f36
|
Merge pull request #2883 from asger-semmle/typescript-3.7.5
Approved by erik-krogh
|
2020-02-20 15:59:36 +00:00 |
|
Rasmus Wriedt Larsen
|
1029f04e76
|
Python: TarSlip sanitizer: handle not
|
2020-02-20 16:27:54 +01:00 |
|
Rasmus Wriedt Larsen
|
3c317ed0e6
|
Python: TarSlip sanitizer: only clear taint on false edge
maybe it was on purpose, will have to investigate FPs when query is good
|
2020-02-20 16:11:24 +01:00 |
|
Rasmus Wriedt Larsen
|
2d637e1cf7
|
Python: Add more tarslip examples
|
2020-02-20 16:09:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
c5f38eecfe
|
C++: Fix IR generation and accept output
|
2020-02-20 15:37:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
051d574ffd
|
C++: Add switch testcases demonstrating incorrect IR
|
2020-02-20 15:31:44 +01:00 |
|
Erik Krogh Kristensen
|
924272a7a5
|
insert placeholder qhelp
|
2020-02-20 14:35:26 +01:00 |
|
Erik Krogh Kristensen
|
b2ccec28e0
|
require the file to be non-empty
|
2020-02-20 14:34:50 +01:00 |
|
Erik Krogh Kristensen
|
b1cbfce50b
|
use SystemCommandExecution and a few small fixes
|
2020-02-20 14:17:37 +01:00 |
|
Felicity Chapman
|
96f37c910b
|
Apply suggestions from code review
|
2020-02-20 12:32:18 +00:00 |
|
Erik Krogh Kristensen
|
03e295ef11
|
Merge branch 'master' of git.semmle.com:Semmle/ql into CVE74
|
2020-02-20 12:19:32 +01:00 |
|
semmle-qlci
|
f6af5da7f7
|
Merge pull request #2778 from erik-krogh/FalsySanitizer
Approved by asgerf
|
2020-02-20 11:17:03 +00:00 |
|
Erik Krogh Kristensen
|
63036aa444
|
Merge branch 'master' of git.semmle.com:Semmle/ql into CVE74
|
2020-02-20 12:09:06 +01:00 |
|
semmle-qlci
|
8b277f7226
|
Merge pull request #2868 from asger-semmle/js/missing-await-void
Approved by max-schaefer
|
2020-02-20 10:56:47 +00:00 |
|
Asger Feldthaus
|
6448acfa88
|
TS: Depend on TypeScript 3.7.5
|
2020-02-20 10:53:17 +00:00 |
|
Erik Krogh Kristensen
|
12c0291dde
|
require that an options object has a known set of properties
|
2020-02-20 11:35:11 +01:00 |
|
Erik Krogh Kristensen
|
b5ef45e6c2
|
add isSync predicate to SystemCommandExecution
|
2020-02-20 11:30:23 +01:00 |
|
Erik Krogh Kristensen
|
a193cb110e
|
support arrow functions in the callbacks
|
2020-02-20 11:13:39 +01:00 |
|
Erik Krogh Kristensen
|
558beb7255
|
simplify the output file argument
|
2020-02-20 10:57:33 +01:00 |
|
semmle-qlci
|
091c6c063c
|
Merge pull request #2856 from esbena/js/fix-RegExp-getPredecessor-getSuccessor
Approved by max-schaefer
|
2020-02-20 09:50:52 +00:00 |
|
Erik Krogh Kristensen
|
a5fdcb67f9
|
restricts alerts to the first line
|
2020-02-20 10:43:41 +01:00 |
|
Erik Krogh Kristensen
|
d4e73df92f
|
remove dead predicate
|
2020-02-20 10:39:16 +01:00 |
|
Jonas Jensen
|
97035aeb63
|
Merge pull request #2848 from geoffw0/model-sideeffects
C++: Disambiguate SideEffectFunction QLDoc.
|
2020-02-20 10:30:53 +01:00 |
|
Erik Krogh Kristensen
|
56f3e431f9
|
update expected output
|
2020-02-20 10:28:53 +01:00 |
|
Erik Krogh Kristensen
|
80962803b0
|
update doc for VarAccessBarrier, and make the class private
|
2020-02-20 10:09:32 +01:00 |
|
Erik Krogh Kristensen
|
2d437efdfd
|
corrections on qldoc
Co-Authored-By: Asger F <asgerf@github.com>
|
2020-02-20 09:54:11 +01:00 |
|
Robert Marsh
|
bed6d2b225
|
Merge branch 'master' into rdmarsh/cpp/malloc-alias-locations
|
2020-02-19 16:44:13 -08:00 |
|
Dave Bartolomeo
|
4f1a23e248
|
"Fix" spelling
|
2020-02-19 15:57:31 -07:00 |
|
Dave Bartolomeo
|
5263222dc2
|
"Fix" spelling
|
2020-02-19 15:57:19 -07:00 |
|
Robert Marsh
|
d151c2eeb7
|
C++: change note for IR-based GVN
|
2020-02-19 14:39:36 -08:00 |
|
Robert Marsh
|
8ea5739b7a
|
C++: release note for DefaultTaintTracking
|
2020-02-19 14:32:49 -08:00 |
|
Robert Marsh
|
de66841263
|
Merge pull request #2873 from geoffw0/fixasttest2
C++: Fix another test that should be working on the AST dataflow.
|
2020-02-19 14:13:44 -08:00 |
|
Robert Marsh
|
82f2540dde
|
Merge pull request #2871 from geoffw0/fixasttest
C++: Fix a test that should be working on the AST dataflow.
|
2020-02-19 10:55:13 -08:00 |
|
Alistair Christie
|
eb2fdda6aa
|
C# pre-migration changes: titles & intros
|
2020-02-19 17:18:29 +00:00 |
|
Asger Feldthaus
|
479770dc07
|
JS: Recognize class members in more cases
|
2020-02-19 17:04:41 +00:00 |
|
Shati Patel
|
2aed6fb971
|
Merge pull request #2878 from jf205/monotonic-aggregates-123
QL handbook: updates for rc/1.23
|
2020-02-19 16:55:11 +00:00 |
|
Shati Patel
|
38be2672a2
|
Merge pull request #2877 from jf205/123-mergeback
Merge some rc/1.23 documentation changes into master
|
2020-02-19 16:47:22 +00:00 |
|
james
|
fc3d30c10b
|
docs: technical feedback
(cherry picked from commit d5ff8f2b8e)
|
2020-02-19 16:45:48 +00:00 |
|
james
|
100a603a86
|
docs: expand handbook entry on monotonic aggregates
(cherry picked from commit b32683fc9f)
|
2020-02-19 16:45:48 +00:00 |
|