Max Schaefer
fd93998dee
Fix typos in CONTRIBUTING.md
2019-08-09 12:44:28 +01:00
james
3800b44e51
add CODEOWNERS entry for ql language docs
2019-08-09 12:38:58 +01:00
james
79a1583ed5
add docs team to CODEOWNERS for relevant qhelp files
2019-08-09 12:35:32 +01:00
james
b6d6774329
docs: rename ql-documentation > language
2019-08-09 12:30:31 +01:00
Anders Schack-Mulligen
079b453f39
Java: Add change note.
2019-08-09 13:04:34 +02:00
Geoffrey White
67eb37f460
CPP: Update test annotations.
2019-08-09 09:31:47 +01:00
Ziemowit Laski
810c884921
Rough first draft of final document.
2019-08-08 14:48:19 -07:00
Jonas Jensen
605b56f8ca
Merge pull request #1563 from geoffw0/constexprif
...
CPP: Test cases for EmptyBlock.ql with 'if constexpr'
2019-08-08 20:57:28 +02:00
Rebecca Valentine
8823cdfdbc
Merge pull request #1713 from markshannon/python-remove-parents
...
Python taint-tracking: Remove 'parents' query from path-queries.
2019-08-08 10:01:40 -07:00
Rebecca Valentine
56c3a4d6e5
Merge pull request #1632 from markshannon/python-account-for-dynamically-defined-builtin-instances
...
Python points-to: track more instances.
2019-08-08 09:59:11 -07:00
Rebecca Valentine
bb19d45066
Merge pull request #1638 from markshannon/python-port-to-new-api
...
Python: port a few queries to new API.
2019-08-08 09:58:15 -07:00
Geoffrey White
1173daefca
CPP: Minor changes.
2019-08-08 17:55:50 +01:00
Geoffrey White
950bc6e3d0
CPP: Brace placement.
2019-08-08 17:51:27 +01:00
Geoffrey White
c406746190
CPP: Brace placement.
2019-08-08 17:16:47 +01:00
Geoffrey White
5bdaefd504
CPP: Brace placement.
2019-08-08 17:13:58 +01:00
Geoffrey White
f0e6730eba
Update cpp/ql/src/semmle/code/cpp/Union.qll
...
Co-Authored-By: Jonas Jensen <jbj@knef.dk >
2019-08-08 17:11:05 +01:00
Geoffrey White
a1cf7b50a9
Update cpp/ql/src/semmle/code/cpp/Struct.qll
...
Co-Authored-By: Jonas Jensen <jbj@knef.dk >
2019-08-08 17:10:52 +01:00
Geoffrey White
7086004f8a
Update cpp/ql/src/semmle/code/cpp/Union.qll
...
Co-Authored-By: Jonas Jensen <jbj@knef.dk >
2019-08-08 17:06:44 +01:00
Geoffrey White
b3bcc33bce
Update cpp/ql/src/semmle/code/cpp/Struct.qll
...
Co-Authored-By: Jonas Jensen <jbj@knef.dk >
2019-08-08 17:06:17 +01:00
Calum Grant
9512b701bf
Merge pull request #1599 from jf205/contributing-queries/sd-3476
...
docs: add more information about contributing queries to the public repo
2019-08-08 16:55:32 +01:00
semmledocs-ac
ec5b2da7dc
Merge pull request #1681 from jf205/responsive-slides
...
Docs: a few CSS tweaks to improve slide appearance on small screens
2019-08-08 16:35:57 +01:00
james
e25749d5de
docs: 2nd review comment
2019-08-08 15:52:22 +01:00
Tom Hvitved
5ecf680cc2
C#: Improve performance of SSA adjacent reads calculation
...
- Speedup the `varBlockReaches()` predicate, by restricting to basic blocks
in which a given SSA definition may still be live, in constrast to just
being able to reach *any* access (read or write) to the underlying source
variable.
- Account for some missing cases in the `lastRead()` predicate.
2019-08-08 16:21:57 +02:00
Geoffrey White
82bf631541
CPP: Add test cases.
2019-08-08 15:02:56 +01:00
Geoffrey White
ef37893d15
CPP: Improve the MemberFunctions test.
2019-08-08 15:02:56 +01:00
Geoffrey White
843b85c0e6
CPP: Test PureVirtualFunction.
2019-08-08 15:02:55 +01:00
Geoffrey White
44ea685bf3
CPP: Simplify the VirtualFunctions test.
2019-08-08 15:02:55 +01:00
Geoffrey White
be25338e44
CPP: QLDoc Function.qll.
2019-08-08 15:02:55 +01:00
Calum Grant
cb8544d6e4
Merge pull request #1695 from hvitved/csharp/multiple-dataflow-copies
...
C#: Add more copies of the data flow library (ODASA-8039)
2019-08-08 13:24:54 +01:00
Jonas Jensen
2c6dbacd2b
C++: Tidy up DataFlowUtil.qll
2019-08-08 14:05:03 +02:00
Jonas Jensen
0a13d7a337
C++: PartialDefNode -> PartialDefinitionNode
2019-08-08 14:05:03 +02:00
Jonas Jensen
98d6f3cada
C++: Unify partial def and def-by-ref
...
This removes a lot of flow steps, but it all seems to be flow that was
present twice: both exiting a `PartialDefNode` and a
`DefinitionByReferenceNode`. All `DefinitionByReferenceNode`s are now
`PartialDefNode`s.
2019-08-08 14:05:03 +02:00
Jonas Jensen
5370e7d693
C++: Remove TThisVar
...
There's no need to model `this` as a variable because it's never
reassigned.
2019-08-08 14:05:03 +02:00
Jonas Jensen
6a3f5efc1b
C++: Accept AST field flow test output
2019-08-08 14:05:03 +02:00
Jonas Jensen
861964337c
C++: Undo autoformat of FlowVar.qll
...
The formatting changes were good, but were tangled in with other
changes, making it hard to review this file.
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
79d75d7d18
Add extra test cases
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
835e495e7c
Remove unused args
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
b1632587bc
Use more meaningful name
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
6d4d131ad4
C++ field flow: Add test.
...
This is a fairly direct translation of the Java field flow test to
C++. Not all the `// flow` annotations are currently accurate.
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
dccc0f4db1
Add handling of post-constructor-call nodes
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
9e6c240ee2
Override getFunction on PostUpdateNodes
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
abcaeded23
Only split BBs for var-defining partial-defs
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
46e6b587bc
Exclude partial defs from ordinary SSA handling
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
5fbe982084
Add missing getType override
2019-08-08 14:05:03 +02:00
Pavel Avgustinov
1b9a2d3d87
Reduce partial definition flow edge redundancy
2019-08-08 14:05:02 +02:00
Pavel Avgustinov
bb8eb235e0
Handle constructor call qualifiers
2019-08-08 14:05:02 +02:00
Pavel Avgustinov
66164eb06f
Propagate data flow through NewExprs
2019-08-08 14:05:02 +02:00
Pavel Avgustinov
623652247d
Introduce partial-definition nodes
2019-08-08 14:05:02 +02:00
Pavel Avgustinov
15b56d93bd
No implicit instances for constructor call
2019-08-08 14:05:02 +02:00
Pavel Avgustinov
04454ef184
Begin extending dataflow node model for field flow (and other stuff)
2019-08-08 14:05:02 +02:00
