Dave Bartolomeo
832807401b
C++: Move imports from instantiated pyrameterized modules into separate file
...
Rather than have IR.qll (which depends on the flavor) import EdgeKind.qll (which does not) with an non-relative import, I've moved these imports into internal.IRImports relative to IR.qll. These imports files can be shared across flavors within one language, but are different between C# and C++ due to the difference in paths.
2019-07-19 13:09:36 -07:00
yh-semmle
12c906c9de
Merge pull request #1503 from aschackmull/java/object-tostring-dispatch
...
Java: Restrict Object.toString() dispatch based on a more closed-world assumption.
2019-07-19 09:23:21 -04:00
Taus
24b596dae6
Merge pull request #1612 from markshannon/merge-121
...
Merge rc/1.21 into master
2019-07-19 10:08:59 +01:00
Dave Bartolomeo
ac6e0cedaf
Merge pull request #1614 from rdmarsh2/rdmarsh/cpp/ir-overlap-speedup
...
C++: further optimization of overlap computation
2019-07-18 19:48:59 -07:00
Ziemowit Laski
45d944411f
[CPP-386] Fix Local{Class,Struct,Union}, macro invocations,
...
printing of member functions and operators.
2019-07-18 16:09:04 -07:00
Robert Marsh
2f27c1c2f5
C++: further optimization of overlap computation
2019-07-18 14:57:48 -07:00
Dave Bartolomeo
8d8c66fc49
C++: Delete unused file ValueCategory.qll
2019-07-18 13:55:34 -07:00
Dave Bartolomeo
add1702bf6
C++: Fix test breaks due to private imports of cpp
2019-07-18 12:29:41 -07:00
semmle-qlci
2d82a5517f
Merge pull request #1608 from asger-semmle/thisnode-basicblock
...
Approved by xiemaisi
2019-07-18 17:03:29 +01:00
Anders Schack-Mulligen
3588066ba1
Java: Add qldoc and change note.
2019-07-18 17:53:40 +02:00
Mark Shannon
88f9685d40
Merge rc/1.21 into master
2019-07-18 16:40:32 +01:00
Taus
7a510f5d1b
Merge pull request #1609 from markshannon/python-better-points-to-extensions
...
Python points-to: Remove negative recursion when using legacy points-to extensions
2019-07-18 16:28:39 +01:00
Mark Shannon
3343f6bd2f
Fix typo.
2019-07-18 15:44:29 +01:00
Mark Shannon
c6ae06f1df
Python: modernize regex library to use new points-to.
2019-07-18 14:16:57 +01:00
Mark Shannon
54a8c64b23
Python points-to: Remove negative recursion when using legacy points-to in legacy points-to extensions.
2019-07-18 14:16:52 +01:00
Asger F
1e451bc541
JS: Restrict Expr.getDocumentation()
2019-07-18 13:14:23 +01:00
Max Schaefer
502a7aacfc
JavaScript: Start documenting extension points provided by the standard library.
2019-07-18 13:03:40 +01:00
Asger F
ed56939650
JS: Add array literal elements
2019-07-18 12:56:41 +01:00
Asger F
87ceb1bbda
JS: Add test for other expressions that have docs
2019-07-18 12:55:55 +01:00
Asger F
416b1b4ba8
JS: Move getDocumentation tests into one file
2019-07-18 12:54:02 +01:00
Taus
f70e7d774f
Merge pull request #1604 from markshannon/python-performance-fixes
...
Python: Performance improvements to points-to.
2019-07-18 10:58:15 +01:00
Asger F
e9c03c9820
JS: Implement getBasicBlock() for exceptional nodes
2019-07-18 10:01:28 +01:00
Asger F
44a270a43d
JS: Add test
2019-07-18 09:37:45 +01:00
Asger F
3347b7d977
JS: Implement ThisNode.getBasicBlock
2019-07-18 09:25:19 +01:00
Dave Bartolomeo
5d1d082a4f
C++: Pull a bunch of language-dependent code that the IR depends on out into a separate module
2019-07-17 17:05:06 -07:00
Dave Bartolomeo
1fdce43484
Merge pull request #1587 from rdmarsh2/rdmarsh/cpp/ir-overlap-speedup
...
C++: improve performance of overlap computation
2019-07-17 16:54:41 -07:00
Ziemowit Laski
926742561b
[CPP-340] Eliminate superfluous print-outs of NestedStruct,
...
`NestedUnion` and `MemberFunction`
2019-07-17 13:39:43 -07:00
semmle-qlci
81b78dce56
Merge pull request #1603 from xiemaisi/js/more-examples
...
Approved by asger-semmle
2019-07-17 14:07:07 +01:00
Geoffrey White
72d01789a3
CPP: Change note.
2019-07-17 13:23:59 +01:00
Max Schaefer
ae07546026
JavaScript: Add syntax examples to Comments.qll, E4X.qll, Functions.qll, HTML.qll and NodeJS.qll.
2019-07-17 13:03:45 +01:00
Geoffrey White
48a60651b6
CPP: Fix query.
2019-07-17 11:43:05 +01:00
Geoffrey White
aa368d8763
CPP: Add test cases.
2019-07-17 11:38:59 +01:00
Mark Shannon
71d353f03b
Python: Performance improvements to points-to. Uses extensional (not IPA) for origins and prevents some harmful magic.
2019-07-17 10:25:23 +01:00
Pavel Avgustinov
de24bec41f
Merge pull request #1596 from Semmle/xiemaisi-patch-1
...
Fix indentation of list item in code of conduct
2019-07-17 10:07:37 +01:00
Asger F
cee742152d
JS: Update test outputs
2019-07-17 09:16:15 +01:00
Ziemowit Laski
f0982791e3
[CPP-340] Remove colons and extraenous QLDoc comments; add a few more classes.
2019-07-16 17:58:39 -07:00
Dave Bartolomeo
e58df94672
Remove unnecessary dependencies on cpp
2019-07-16 15:10:46 -07:00
Dave Bartolomeo
60b3ffe3d5
Make all imports of cpp private
2019-07-16 15:02:26 -07:00
zlaski-semmle
6764390970
Merge pull request #1586 from geoffw0/norm-taint-test
...
CPP: Normalize the taint tests
2019-07-16 11:49:42 -07:00
Asger F
b2fcea4fd2
JS: Allow PropAccess when guessing name
2019-07-16 17:29:56 +01:00
Geoffrey White
1b7d1c37ec
CPP: Test showing that Adding365daysPerYear.ql doesn't actually care whether the return value of the time conversion function is checked.
2019-07-16 17:29:30 +01:00
Mark Shannon
3035178391
Python: Better API for parameters.
2019-07-16 16:50:40 +01:00
Asger F
1c2d874c55
JS: Quantify of ValueProperty instead of Property
2019-07-16 16:27:11 +01:00
Asger F
4e77a368c3
JS: Avoid having multiple names again
2019-07-16 16:23:27 +01:00
Asger F
9408b96b9a
JS: Update yet more tests
2019-07-16 16:09:29 +01:00
Mark Shannon
b4d413cfa8
Python points-to: Track implicit module attributes through phi-nodes.
2019-07-16 15:39:58 +01:00
Asger F
448f143566
JS: Update change note
2019-07-16 11:23:26 +01:00
Asger F
7da341ba04
JS: Merge getInferredName() => getName()
2019-07-16 11:21:33 +01:00
Asger F
b2da2d2a4b
JS: update tests again
2019-07-16 10:47:23 +01:00
semmle-qlci
5944ec685a
Merge pull request #1592 from Semmle/revert-1538-TypeTrackingInPortals
...
Approved by asger-semmle
2019-07-16 10:34:21 +01:00
