Asger F
f3b8e39848
JS: Move JSDoc tests into JSDoc/Nodes
2019-07-23 17:13:01 +01:00
Asger F
225e96ddc3
JS: Resolve qualified name of JSDoc types
2019-07-23 17:08:02 +01:00
Asger F
13da242576
JS: Add GlobalAccessPaths library
2019-07-23 17:08:02 +01:00
Asger F
aded18b7dd
JS: Add DataFlow::Node.getImmediatePredecessor()
2019-07-23 17:08:02 +01:00
Asger F
c97b9af4b8
JS: Add SsaExplicitDefinition.getRhsNode
2019-07-23 17:08:02 +01:00
Mark Shannon
2bdf42388c
Python: Fix up pruning in QL to better handle constraints from constants.
2019-07-23 16:28:13 +01:00
semmle-qlci
8b60314d85
Merge pull request #1617 from asger-semmle/documentable
...
Approved by xiemaisi
2019-07-23 14:55:51 +01:00
Max Schaefer
8b3e647ae9
JavaScript: Do not taint for-in loop variable.
2019-07-23 10:52:55 +01:00
Anders Schack-Mulligen
a8c10e218c
Java: Delete old deprecated code.
2019-07-23 10:09:51 +02:00
Asger F
e98061a2e9
JS: Do not recursively import javascript into DataFlow:: scope
2019-07-23 00:03:14 +01:00
Asger F
ce095d0681
JS: Avoid unnecessary import of configuration
2019-07-22 23:10:34 +01:00
semmle-qlci
247848c931
Merge pull request #1577 from asger-semmle/infername
...
Approved by xiemaisi
2019-07-22 21:01:48 +01:00
Ziemowit Laski
e989eabc0a
Update test case (remove references to MacroInvocationStmt and MacroInvocationExpr)
2019-07-22 11:09:30 -07:00
Ziemowit Laski
f8d52a3bea
Remove getCanonicalQLClass() from MacroInvocationExpr and MacroInvocationStmt.
2019-07-22 11:04:30 -07:00
Anders Schack-Mulligen
cd8d16183c
Java/CPP/C#: Sync dataflow.
2019-07-22 15:41:37 +02:00
Anders Schack-Mulligen
3024b5cb9e
Java: Bugfix for flow through methods with taintstep and upcast.
2019-07-22 15:39:30 +02:00
Geoffrey White
85707cfe3e
CPP: Change note.
2019-07-22 11:55:29 +01:00
Geoffrey White
d39d9bf1f0
CPP: Workaround FPs.
2019-07-22 11:48:25 +01:00
Geoffrey White
185ca590f2
CPP: Test exposing UseInOwnInitializer FPs.
2019-07-22 11:34:01 +01:00
Ziemowit Laski
dbf655253f
Get rid of tabs.
2019-07-19 17:01:34 -07:00
Ziemowit Laski
a0570213d7
[CPP-386] Separate printing of casts and conversion, per Dave's request.
2019-07-19 16:56:22 -07:00
Dave Bartolomeo
efa854ea3e
C++: Add *Imports.qll files to identical-files.json
2019-07-19 15:38:11 -07:00
Dave Bartolomeo
8456bdd6eb
C++: Move IR files that are now pyrameterized into implementation.
2019-07-19 15:37:45 -07:00
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
