Max Schaefer
4e1e7bc127
JavaScript: Apply review suggestion.
...
Co-Authored-By: Esben Sparre Andreasen <42067045+esben-semmle@users.noreply.github.com >
2019-09-19 09:40:28 +01:00
james
4adda1056f
docs: better fix for width on notes
2019-09-19 09:27:28 +01:00
Jonas Jensen
307b92feed
C++: Unknown template literals are constant
2019-09-19 10:23:26 +02:00
james
8b13e32598
docs: add icons on slides with notes
2019-09-19 08:44:36 +01:00
james
1d0a96f0a1
docs: mention icons on training homepage
2019-09-19 08:44:13 +01:00
james
86069df9ee
docs: mention graphviz in readme
2019-09-19 08:44:08 +01:00
james
9242507487
docs: removed unused extension from conf.py
2019-09-19 08:44:01 +01:00
james
b07e1fa08d
docs: slightly adjust width of lists in notes
2019-09-19 08:43:48 +01:00
Esben Sparre Andreasen
b631bfc8eb
Merge branch 'master' into node-js-classification
2019-09-19 09:42:26 +02:00
Jonas Jensen
9b805c01cc
Merge pull request #1951 from pavgust/fix/hashcons-perf
...
C++: Fix HashCons library performance
2019-09-19 08:10:34 +02:00
Raul Garcia
c66e5dd13a
Merge pull request #1 from Semmle/master
...
Switching Base
2019-09-18 13:39:16 -07:00
Tom Hvitved
11f9967491
C#: Address review comments
2019-09-18 17:36:31 +02:00
AndreiDiaconu1
99c6a328c4
Autoformat
2019-09-18 16:20:06 +01:00
Asger F
71763af2d5
JS: Further restrict receiver type inference
2019-09-18 16:18:10 +01:00
Asger F
e724f92ee8
JS: Also summarize loads
2019-09-18 16:18:10 +01:00
Asger F
ffc69cb61e
JS: Summarize functions in type tracking
2019-09-18 16:17:59 +01:00
Asger F
3479f02082
JS: Add test showing lack of flow out of inner function
2019-09-18 16:17:22 +01:00
Asger F
76438f98ad
JS: Add DomValuesRefs metric
2019-09-18 16:17:21 +01:00
Asger F
0924de4c56
JS: Simplify call graph metric
2019-09-18 16:17:21 +01:00
Tom Hvitved
cf4db48eb1
Merge branch 'rc/1.22' into master
2019-09-18 16:53:55 +02:00
Tom Hvitved
0e0f78e448
Merge pull request #1943 from lcartey/csharp/ttransitivecapture-fix
...
C#: Include runtime target in TTransitiveCaptureCall
2019-09-18 16:36:19 +02:00
Anders Schack-Mulligen
327ade1f34
Merge pull request #1940 from hvitved/dataflow/pathnode-successor
...
Java/C++/C#: Simplify `PathNode` successor logic
2019-09-18 16:13:39 +02:00
Luke Cartey
b8387bdf23
C#: Fix whitespace issues.
2019-09-18 14:43:43 +01:00
Jonas Jensen
e0d1da3b67
C++: Test for template enum constant CFG
2019-09-18 15:17:24 +02:00
semmle-qlci
cd362d82a5
Merge pull request #1948 from hvitved/csharp/autoformat
...
Approved by calumgrant
2019-09-18 14:17:02 +01:00
semmle-qlci
57a6c0c20d
Merge pull request #1918 from esben-semmle/js/improve-getAResponseDataNode
...
Approved by asger-semmle
2019-09-18 14:03:45 +01:00
Jonas Jensen
7d8396fa65
C++: Constant template pointer-to-member literals
2019-09-18 14:44:25 +02:00
Jonas Jensen
d644150ead
C++: Test for template pointer-to-member CFG
2019-09-18 14:30:18 +02:00
Jonas Jensen
0f2731064d
C++: Annotate tellDifferent with template status
...
This is helpful for turning real-world cases into test cases.
2019-09-18 14:23:52 +02:00
Luke Cartey
af41a0a927
C#: Add autobuilder unit test for multiple csproj files.
2019-09-18 13:12:46 +01:00
Jonas Jensen
c90fd32a78
C++: Pointer-to-member-function is constant
2019-09-18 13:55:56 +02:00
Pavel Avgustinov
eca31908ab
HashCons: Make some functionality apparent.
...
The user knows that an expression functionally determines its
hashCons value, and that an expression functionally determines
its number of children, but this is not provable from the
definitions, and so not usable by the optimiser. By storing
the result of those known-functional calls in a variable,
rather than repeating the call, we enable better join orders.
2019-09-18 12:54:48 +01:00
Pavel Avgustinov
03502863cf
Distribute a recursive call into a recursive disjunction.
...
As the linearity of the disjuncts is different, this enables us to
pick better join orders for each disjunct separately.
2019-09-18 12:54:48 +01:00
Jonas Jensen
55edfe4224
C++: Test for pointer-to-member-function CFG
2019-09-18 13:37:52 +02:00
Tom Hvitved
6318cc9a71
Java: Update expected test output
2019-09-18 13:36:15 +02:00
Tom Hvitved
09e4e7901a
C#: Update expected test output
2019-09-18 13:36:15 +02:00
Tom Hvitved
d8074ddfa6
Sync files
2019-09-18 13:36:15 +02:00
Tom Hvitved
48aec33769
Java/C++/C#: Simplify PathNode successor logic
2019-09-18 13:36:14 +02:00
semmle-qlci
479fca9e30
Merge pull request #1946 from xiemaisi/js/top-level-await
...
Approved by asger-semmle
2019-09-18 12:32:09 +01:00
semmle-qlci
b4b7314757
Merge pull request #1941 from xiemaisi/js/fix-incorrect-suffix-check-performance
...
Approved by asger-semmle
2019-09-18 12:31:46 +01:00
Max Schaefer
3970ead7ab
JavaScript: Add support for rate-limiter-flexible package.
2019-09-18 12:25:33 +01:00
Taus
bbc98513c0
Merge pull request #1942 from RasmusWL/python-modernise-consistent-tuple-size
...
Python: Modernise the `py/mixed-tuple-returns` query.
2019-09-18 13:19:36 +02:00
Geoffrey White
ae9f35be00
Merge pull request #1947 from jbj/autoformat-followup
...
C++: Autoformat five files
2019-09-18 12:15:47 +01:00
Luke Cartey
407f6349a3
C#: Fix potential bug in CaptureOutNode.
...
In theory this bug could associated CaptureOutNodes with the wrong transitively called
callable. However, in practice I could not create a test case that revealed incorrect
behaviour. I've included one such test case in the commit.
I believe that the cause of this is that OutNode::getACall() is not actually used in the
data flow libraries. Instead, DataFlowDispatch::Cached::getAnOutNode is the predicate
which is used to associated OutNode's with DataFlowCall's in practice, and that is always
used in a context that correctly binds the runtime target of the call.
2019-09-18 11:48:29 +01:00
Tom Hvitved
bb83b92c6b
C#: Autoformat
2019-09-18 12:02:59 +02:00
Luke Cartey
4ecfe97e7b
C#: Adjust line numbers in test case.
2019-09-18 10:55:59 +01:00
Jonas Jensen
571c96bb2f
C++: Autoformat five files
...
These files have come out of autoformat since the big commit that
autoformatted everything.
2019-09-18 11:55:19 +02:00
Jonas Jensen
e7d8fa4251
Merge pull request #1945 from geoffw0/more-tests
...
CPP: Add a test of ConditionalDeclExpr.
2019-09-18 11:11:16 +02:00
Max Schaefer
9ff5c7007a
JavaScript: Add support for top-level await.
2019-09-18 09:56:21 +01:00
AndreiDiaconu1
0e32639af9
Address PR comments
2019-09-18 09:53:14 +01:00
