zlaski-semmle
|
8896fa5bc9
|
Merge pull request #1924 from geoffw0/quickfix
CPP: Tiny qldoc fixes.
|
2019-10-09 14:52:54 -07:00 |
|
Robert Marsh
|
500a81ad1e
|
C++/Docs: remove reference to IR GVN
|
2019-10-09 10:45:39 -07:00 |
|
Alexander Eyers-Taylor
|
70caa9b82c
|
Merge pull request #2105 from shati-patel/qldoc-spec
Terminology update
|
2019-10-09 17:02:35 +01:00 |
|
semmle-qlci
|
6e8764d592
|
Merge pull request #2104 from Semmle/training-typo
Approved by jf205
|
2019-10-09 16:03:25 +01:00 |
|
Nick Rolfe
|
91d3389e58
|
QL training: fix typos
|
2019-10-09 15:55:41 +01:00 |
|
Erik Krogh Kristensen
|
4ec825b5b6
|
made model of Deferred more precise
|
2019-10-09 16:18:04 +02:00 |
|
shati-patel
|
9bb1b4f68a
|
Terminology update
Method -> member predicate
|
2019-10-09 15:08:18 +01:00 |
|
Erik Krogh Kristensen
|
c7eb0f17a9
|
add TaintTracking test for new Deferred model
|
2019-10-09 13:59:00 +02:00 |
|
Erik Krogh Kristensen
|
411ed702fb
|
change change-notes
|
2019-10-09 13:50:12 +02:00 |
|
Esben Sparre Andreasen
|
0e79d3db46
|
Merge pull request #2065 from erik-krogh/noReturn
JS: use of returnless function
|
2019-10-09 13:44:39 +02:00 |
|
Asger F
|
cf24fa22c8
|
JS: Dont use deprecated class
|
2019-10-09 12:16:12 +01:00 |
|
Asger F
|
45b108842b
|
JS: Update CallGraph test output
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
b392559b39
|
JS: Accept that types may degrade CG precision
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
ddf0d5379d
|
JS: Angular: replace getAnInitialUse with parameterNode
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
07df479b94
|
JS: IllegalInvocation: be more convservative
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
ad8667d6db
|
JS: IllegalInvocation regression test
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
d3f587c12a
|
JS: Restrict class values flowing through globals
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
dbfd0ae03b
|
JS: InconsistentNew regression test
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
bdc409ccb6
|
JS: Move getACallee into CallGraphs module
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
4a0e54a69f
|
JS: Add library doc comment
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
8404522c08
|
JS: Performance tweaks
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
34497f6d19
|
JS: Use getABoundFunctionValue in PostMessageEventHandler
|
2019-10-09 12:16:11 +01:00 |
|
Asger F
|
d6d89a0703
|
JS: Move call graph computation into CallGraphs.qll
|
2019-10-09 12:16:10 +01:00 |
|
Asger F
|
96a13ff5d6
|
JS: Add goog.bind and angular.bind as partial invokes
|
2019-10-09 12:16:10 +01:00 |
|
Asger F
|
3bf86ee468
|
JS: Rename AdditionalPartialInvoke -> PartialInvoke::Range
|
2019-10-09 12:16:10 +01:00 |
|
Asger F
|
d6ba966c4e
|
JS: Add getBoundFunction()
|
2019-10-09 12:16:10 +01:00 |
|
Asger F
|
6534219831
|
JS: Move AdditionalPartialInvokeNode to Nodes.qll
|
2019-10-09 12:16:10 +01:00 |
|
Asger F
|
15f0e85853
|
JS: Restructure call graph computation
|
2019-10-09 12:16:10 +01:00 |
|
Asger F
|
c5f29e0a1d
|
JS: Simplify call graph metric
|
2019-10-09 12:16:10 +01:00 |
|
Asger F
|
7355fdf900
|
JS: Update trap output
|
2019-10-09 11:59:42 +01:00 |
|
Asger F
|
1f2c331ad9
|
TS: Remove dependency on rollup
|
2019-10-09 11:42:13 +01:00 |
|
Erik Krogh Kristensen
|
0ccc0057f9
|
add Deferred model to Promises.qll
|
2019-10-09 11:04:19 +02:00 |
|
Esben Sparre Andreasen
|
ea63414e97
|
Merge pull request #2016 from asger-semmle/jquery
Add type tracking and type info to jQuery model
|
2019-10-09 10:55:57 +02:00 |
|
Anders Schack-Mulligen
|
312c573eb6
|
Java: Remove unneeded import.
|
2019-10-09 10:10:36 +02:00 |
|
Anders Schack-Mulligen
|
e123f97303
|
Java: Remove useless pruning.
|
2019-10-09 09:35:30 +02:00 |
|
Jonas Jensen
|
daabb2c5d0
|
Merge pull request #2082 from rdmarsh2/rdmarsh/cpp/ir-getASTVariable
IR: add getASTVariable to VariableInstruction
|
2019-10-09 08:56:01 +02:00 |
|
Ziemowit Laski
|
e617a05a1f
|
[CPP-434] One bad usage is undetected; adjust test accordingly.
|
2019-10-08 17:20:25 -07:00 |
|
Ziemowit Laski
|
bd87d7bc76
|
[CPP-434] Switch to global value numbering (GVN). Improve qlhelp doc.
|
2019-10-08 16:33:05 -07:00 |
|
Ziemowit Laski
|
afa34b5054
|
[CPP-434] Improvements to Qhelp; hashCons-ify query.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
872054a89a
|
[CPP-434] Narrow down query.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
341dc12fc8
|
[CPP-434] Adjust expected output.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
16411d1b6e
|
[CPP-434] Remove references to underflow and subtraction.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
8c6caf2b4e
|
[CPP-434] Rename everything to SignedOverflowCheck. Add .qlhelp. Deal with addition only, not subtraction.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
c9a9aff221
|
[CPP-434] Expected result.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
55c26a8880
|
[CPP-434] Initial version of query + test cases.
|
2019-10-08 14:12:34 -07:00 |
|
Robert Marsh
|
07e7d061cd
|
C++/Docs: expand on gvn and hashcons design
|
2019-10-08 13:41:26 -07:00 |
|
Robert Marsh
|
aee87ebaaa
|
C++/Docs: respond to simple PR comments
|
2019-10-08 10:53:54 -07:00 |
|
Robert Marsh
|
a90e8684e4
|
C++: Apply suggestions from code review
Co-Authored-By: Jonas Jensen <jbj@knef.dk>
|
2019-10-08 10:40:08 -07:00 |
|
Anders Schack-Mulligen
|
5e0ce81030
|
Java: Refactor to improve join-pipeline.
|
2019-10-08 17:15:06 +02:00 |
|
Asger F
|
c09e748bca
|
JS: Migrate JQueryMethodCall to new API
|
2019-10-08 14:05:10 +01:00 |
|