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
Geoffrey White
5106626bd0
CPP: QLDoc helper predicates.
2019-11-05 13:06:43 +00:00
semmle-qlci
1fe5a9e7e7
Merge pull request #2236 from max-schaefer/js/data-flow-exploration
...
Approved by erik-krogh, esbena
2019-11-05 12:15:00 +00:00
Matthew Gretton-Dann
8eef953cd7
C++: Update 1.23 change notes
2019-11-05 11:39:22 +00:00
Matthew Gretton-Dann
afe666500f
C++: Simplify getTemplateArgument*() impl.
2019-11-05 11:39:22 +00:00
Matthew Gretton-Dann
6b4506dbea
C++: Update schema stats
2019-11-05 11:39:22 +00:00
Matthew Gretton-Dann
6fe22a76da
C++: Change API for exposing template parameters.
...
Note that Declaration::getTemplateArgumentType() and
Declaration::getTemplateArgumentValue() need to be public so that they
can be overriden in derived classes.
2019-11-05 11:39:22 +00:00
Matthew Gretton-Dann
45ec8527c3
C++: Update expected test output.
2019-11-05 11:39:22 +00:00
