Asger F
d9beb54dde
Merge pull request #2102 from erik-krogh/deferredModel
...
JS: add Deferred model in js/use-of-returnless-function
2019-11-06 14:30:03 +00:00
Jonas Jensen
76a3db9eed
Merge remote-tracking branch 'upstream/master' into ir-copy-unloaded-result
2019-11-06 15:21:22 +01:00
Taus Brock-Nannestad
b6f16dee81
Python: Fix bad join order in py/unused-import
2019-11-06 15:14:48 +01:00
semmle-qlci
f73caac88d
Merge pull request #2254 from asger-semmle/for-of-propread
...
Approved by max-schaefer
2019-11-06 13:44:55 +00:00
Geoffrey White
f9feb05a72
CPP: Add a test of NtohlArrayNoBoundOpenSource.ql.
2019-11-06 13:36:31 +00:00
Jonas Jensen
aa841c306d
C++: Use virtual dispatch in DefaultTaintTracking
...
This bit is only used by the compatibility code that sends flow into
parameters of functions without body.
2019-11-06 14:04:07 +01:00
Jonas Jensen
ec9ef33486
C++: IR data flow through inheritance conversions
...
This makes IR data flow behave more like AST data flow, and it makes IR
virtual dispatch work without further changes.
2019-11-06 14:04:07 +01:00
Jonas Jensen
49008c9ff5
C++: IR data flow local virtual dispatch
...
This is just good enough to cause no performance regressions and pass
the virtual-dispatch tests we have for `security.TaintTracking`. In
particular, it fixes the tests for `UncontrolledProcessOperation.ql`
when enabling `DefaultTaintTracking.qll`.
2019-11-06 14:04:02 +01:00
Max Schaefer
725059deea
JavaScript: Remove --source-type module extractor options.
2019-11-06 13:01:59 +00:00
Max Schaefer
3ad5af7cef
JavaScript: Move --extract-program-text extractor options into options files.
2019-11-06 13:01:55 +00:00
Max Schaefer
6b817203fd
JavaScript: Move --tolerate-parse-errors extractor options into options file.
2019-11-06 13:01:28 +00:00
Max Schaefer
5681565d4a
JavaScript: Move --html elements extractor options into options file.
2019-11-06 13:01:28 +00:00
Max Schaefer
8fdf6298b9
JavaScript: Remove --platform node extractor options.
2019-11-06 13:01:28 +00:00
Max Schaefer
4848372435
JavaScript: Replace --externs extractor flag with /** @externs */ comment.
2019-11-06 13:01:28 +00:00
Max Schaefer
1fa8c43a8c
JavaScript: Remove a redundant extractor option.
2019-11-06 13:01:28 +00:00
Max Schaefer
79f1079460
JavaScript: Add options files with --experimental extractor options.
2019-11-06 13:01:23 +00:00
James Fletcher
2e7bd4db6f
Update docs/language/ql-training/cpp/program-representation-cpp.rst
...
Co-Authored-By: shati-patel <42641846+shati-patel@users.noreply.github.com >
2019-11-06 12:59:45 +00:00
Max Schaefer
a4bf361f64
JavaScript: Remove remaining --experimental extractor options.
2019-11-06 12:54:44 +00:00
james
24615f2bdb
docs: further review comments
2019-11-06 12:44:45 +00:00
Erik Krogh Kristensen
19554ff6e7
change "e.g." to "for example" in qldoc
2019-11-06 13:37:54 +01:00
Erik Krogh Kristensen
dc923ef694
remove change note
...
Co-Authored-By: Esben Sparre Andreasen <esbena@github.com >
2019-11-06 13:28:46 +01:00
Asger F
81723ab92a
JS: Update GlobalAccessPaths test
2019-11-06 11:58:06 +00:00
Asger F
3ec95881b4
Update javascript/ql/src/semmle/javascript/GlobalAccessPaths.qll
...
Co-Authored-By: Max Schaefer <54907921+max-schaefer@users.noreply.github.com >
2019-11-06 11:58:06 +00:00
Asger F
7e80823cb6
JS: Fix deprecated API usage
2019-11-06 11:58:06 +00:00
Asger F
b373901e11
JS: Avoid leading dot in access paths
2019-11-06 11:58:06 +00:00
Asger F
c365833731
JS: Refactor the public access path API
2019-11-06 11:58:06 +00:00
Asger F
e90516d4d8
JS: Dont use getALocalSource in fromRhs
2019-11-06 11:58:06 +00:00
Asger F
bc35f24f31
JS: Generalize access paths to arbitrary root nodes
2019-11-06 11:58:06 +00:00
Asger F
7a7a8b2b09
JS: More steps in getImmediatePredecessor
2019-11-06 11:58:06 +00:00
Max Schaefer
2bcd418c23
Merge pull request #2261 from Semmle/esbena-patch-2
...
Doc: Add missing `t` in `support`.
2019-11-06 09:24:30 +00:00
Esben Sparre Andreasen
21d4e5f186
Doc: Add missing t in support.
2019-11-06 10:16:43 +01:00
semmle-qlci
04f0c22f24
Merge pull request #2203 from erik-krogh/ignorePureFunction
...
Approved by max-schaefer, mchammer01
2019-11-06 09:09:11 +00:00
Jonas Jensen
fca7d9a391
C#: Cache IRType like for C++
2019-11-06 07:42:34 +01:00
Ziemowit Laski
1f82ea7750
[zlaski/pointer-overflow-check] Refine query to exclude macros (other than 'assert').
2019-11-05 18:25:41 -08:00
Ziemowit Laski
0df3d2ce60
[zlaski/pointer-overflow-check] Improve test case.
2019-11-05 13:00:55 -08:00
james
8d02a740dd
docs: address remaining comments
2019-11-05 20:03:47 +00:00
James Fletcher
488ce15888
Apply suggestions from code review
...
Co-Authored-By: shati-patel <42641846+shati-patel@users.noreply.github.com >
Co-Authored-By: Felicity Chapman <felicitymay@github.com >
2019-11-05 19:57:24 +00:00
Taus
e9336fe30e
Merge pull request #2129 from RasmusWL/python-update-django
...
Python: update django support
2019-11-05 20:51:55 +01:00
Dave Bartolomeo
c90fa1b3b1
Merge pull request #2255 from jbj/localInstructionFlow
...
C++: localInstruction{Flow,Taint} helpers
2019-11-05 11:57:06 -07:00
Asger F
f3850e580c
JS: Skip codeql databases in AutoBuild
2019-11-05 16:30:57 +00:00
james
0b6592f650
docs: version number and small css tweaks
...
(cherry picked from commit ff78feeeea )
2019-11-05 16:06:13 +00:00
james
2d00ca5773
docs: semmle logo
...
(cherry picked from commit 4a8e8fa0de )
2019-11-05 16:06:11 +00:00
james
69d7baa9bc
docs: update snapshot terminology
2019-11-05 16:06:11 +00:00
james
8661de11f2
docs: update ql terminology
2019-11-05 16:06:04 +00:00
Max Schaefer
3e92d0ffb5
JavaScript: Remove redundant --experimental extractor options.
2019-11-05 15:59:24 +00:00
Erik Krogh Kristensen
16b63b3d01
move deferred model to the query where it is used
2019-11-05 15:45:17 +01:00
Matthew Gretton-Dann
20ae183c16
C++: Tidy up formatting
2019-11-05 14:18:29 +00:00
Erik Krogh Kristensen
7045cd2648
Merge remote-tracking branch 'upstream/master' into deferredModel
2019-11-05 15:08:47 +01:00
Jonas Jensen
df2fbfb3d0
C++: localInstruction{Flow,Taint} helpers
...
These are analogous to the existing `localExpr{Flow,Taint}` predicates.
2019-11-05 14:13:20 +01:00
Geoffrey White
7456a92d6d
CPP: Autoformat.
2019-11-05 13:10:19 +00:00