Anders Schack-Mulligen
|
7ca3407c86
|
Dataflow: Sync.
|
2021-11-24 14:43:00 +01:00 |
|
Anders Schack-Mulligen
|
a7ec0fa900
|
Dataflow: Remove more disjunction-induced tuple duplication.
|
2021-11-24 14:39:49 +01:00 |
|
Anders Schack-Mulligen
|
4efdcc22a2
|
Dataflow: Improve barrier handling.
|
2021-11-24 14:17:05 +01:00 |
|
Anders Schack-Mulligen
|
822890f2bd
|
Dataflow: Remove disjunction-induced tuple duplication.
|
2021-11-23 15:05:24 +01:00 |
|
Anders Schack-Mulligen
|
f5f67dd11a
|
Dataflow: Pull ccc.matchesCall(call) from the recursive loop.
|
2021-11-23 14:35:33 +01:00 |
|
Anders Schack-Mulligen
|
e711ba9d18
|
Dataflow: Remove negation materialization.
|
2021-11-23 11:35:57 +01:00 |
|
Tom Hvitved
|
39e3254fe0
|
Merge pull request #7182 from hvitved/csharp/self-assignment-bad-magic
C#: Fix bad magic `Element::fromSource` in context of `SelfAssignment.ql`
|
2021-11-22 10:57:48 +01:00 |
|
Erik Krogh Kristensen
|
9f08acab7e
|
Merge pull request #7170 from erik-krogh/qldocStyle
Ruby: use A/An/The to start qlDoc for classes
|
2021-11-19 17:34:35 +01:00 |
|
Anders Schack-Mulligen
|
344f7bca5b
|
Merge pull request #7187 from aschackmull/java/dont-clear-in-summary-store
Java: Don't clear content in store steps in summaries.
|
2021-11-19 16:12:37 +01:00 |
|
Anders Schack-Mulligen
|
fc43220864
|
Java: bugfix
|
2021-11-19 15:01:29 +01:00 |
|
Anders Schack-Mulligen
|
2b1f34ed9b
|
Java: Don't clear content in store steps in summaries.
|
2021-11-19 14:22:28 +01:00 |
|
Tom Hvitved
|
47fd64fc44
|
Merge pull request #7130 from hvitved/cfg/dead-end-consistency
Shared CFG: Add "dead end" consistency query
|
2021-11-19 13:49:53 +01:00 |
|
Tom Hvitved
|
2b2ff7717e
|
Merge pull request #7179 from hvitved/ruby/shared-ssa-consistency
Ruby: Move SSA consistency queries into shared SSA library
|
2021-11-19 13:49:25 +01:00 |
|
Erik Krogh Kristensen
|
75586b0cf6
|
Apply suggestions from code review
Co-authored-by: Nick Rolfe <nickrolfe@github.com>
|
2021-11-19 13:23:01 +01:00 |
|
Tom Hvitved
|
a393bff6cb
|
C#: Fix bad magic Element::getLocation in context of SelfAssignment.ql
|
2021-11-19 12:44:07 +01:00 |
|
Tom Hvitved
|
34feafd4fa
|
C#: Do not pass in TSourceVariable IPA type into shared SSA library
|
2021-11-19 11:53:25 +01:00 |
|
Anders Schack-Mulligen
|
1f3f7e9ccc
|
Merge pull request #7169 from erik-krogh/useMatches
use matches instead of regexpMatch/prefix/suffix
|
2021-11-19 11:42:47 +01:00 |
|
Tom Hvitved
|
4068cc9c3a
|
Shared SSA: Sync files
|
2021-11-19 11:31:28 +01:00 |
|
Tom Hvitved
|
bc80c9b013
|
Ruby: Move SSA consistency queries into shared SSA library
|
2021-11-19 11:31:28 +01:00 |
|
Tom Hvitved
|
fd0e318eb1
|
C#: Document inconsistency in one test
|
2021-11-19 09:43:51 +01:00 |
|
Tom Hvitved
|
923ca134e8
|
Shared CFG: Add "dead end" consistency query
|
2021-11-19 09:14:38 +01:00 |
|
Erik Krogh Kristensen
|
62730e7a4b
|
Merge pull request #7174 from erik-krogh/fixCSharpImport
C#: move Linq/Helpers.qll to the lib folder
|
2021-11-18 19:40:53 +01:00 |
|
Tom Hvitved
|
2f7250a0b3
|
Merge pull request #7160 from hvitved/csharp/cfg/static-scope
C#: Extend `(Annotated)ExitNode` to also cover static fields
|
2021-11-18 19:15:06 +01:00 |
|
Erik Krogh Kristensen
|
63ecae5426
|
update imports
|
2021-11-18 17:31:17 +01:00 |
|
Erik Krogh Kristensen
|
2d78cce7a5
|
move Linq/Helpers to the lib folder
|
2021-11-18 16:59:34 +01:00 |
|
Henry Mercer
|
46958e5bff
|
Merge pull request #7168 from erik-krogh/useMinInsteadofRank1
ATM: use min() instead of rank[1]
|
2021-11-18 14:56:49 +00:00 |
|
Erik Krogh Kristensen
|
af55f172ae
|
use A/An/The to start qlDoc for classes
|
2021-11-18 15:42:45 +01:00 |
|
Erik Krogh Kristensen
|
011fc20963
|
use matches instead of regexpMatch
|
2021-11-18 15:41:25 +01:00 |
|
Anders Schack-Mulligen
|
6815a13a00
|
Merge pull request #6931 from hvitved/dataflow/restrict-derived-summaries
Data flow: Restrict derived flow summaries
|
2021-11-18 15:31:55 +01:00 |
|
Erik Krogh Kristensen
|
2af7817691
|
use min() instead of rank[1]
|
2021-11-18 14:26:55 +01:00 |
|
Geoffrey White
|
6c2713dd8b
|
Merge pull request #7159 from MathiasVP/pointers-are-always-iterators
C++: Always recognize pointers as iterators
|
2021-11-18 11:14:44 +00:00 |
|
Tony Torralba
|
9d22ec88fd
|
Merge pull request #7165 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2021-11-18 10:37:34 +01:00 |
|
Erik Krogh Kristensen
|
1cca377e7d
|
Merge pull request #6561 from erik-krogh/htmlReg
JS/Py/Ruby: add a bad-tag-filter query
|
2021-11-18 09:39:13 +01:00 |
|
github-actions[bot]
|
ecdaeb0c10
|
Add changed framework coverage reports
|
2021-11-18 00:09:24 +00:00 |
|
Tom Hvitved
|
a89be2e3f8
|
C#: Extend (Annotated)ExitNode to also cover static fields
|
2021-11-17 20:50:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
c998370c84
|
C++: Accept more test changes.
|
2021-11-17 15:22:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
36585a7469
|
C++: Accept test changes.
|
2021-11-17 14:41:30 +00:00 |
|
Mathias Vorreiter Pedersen
|
6dc6a78293
|
C++: Add a 'IteratorByPointer' class so pointers are always iterators.
|
2021-11-17 14:41:19 +00:00 |
|
Alex Ford
|
08b6a17097
|
Merge pull request #7151 from github/ruby/methodcallnode
Ruby: add `getMethodName` predicate to `DataFlow::CallNode` class
|
2021-11-17 14:40:07 +00:00 |
|
Anders Schack-Mulligen
|
22ebe68b1b
|
Merge pull request #7132 from aschackmull/java/overrides
Java: Fix overrides to not be transitive.
|
2021-11-17 15:38:11 +01:00 |
|
Anders Schack-Mulligen
|
1645fcf79c
|
Merge pull request #7088 from aschackmull/java/parameterized-subtyping
Java: Improve algorithm for subtyping of parameterized types.
|
2021-11-17 15:28:28 +01:00 |
|
Arthur Baars
|
5ddfb37f29
|
Merge pull request #7155 from aibaars/ruby-qualified-import
Ruby: QL generator: use qualified imports
|
2021-11-17 12:40:14 +01:00 |
|
Arthur Baars
|
6f24947ec6
|
Merge pull request #7156 from aibaars/ruby-prepare-db-upgrade-fix
Ruby: Fix scripts/prepare-db-upgrade.sh
|
2021-11-17 12:39:55 +01:00 |
|
Benjamin Muskalla
|
3c3a65243f
|
Merge pull request #6664 from bmuskalla/bmuskalla/modelGenerator
Java: Initial CSV model generator
|
2021-11-17 12:30:45 +01:00 |
|
Arthur Baars
|
fbb3e8d780
|
Fix scripts/prepare-db-upgrade.sh
|
2021-11-17 12:11:20 +01:00 |
|
Geoffrey White
|
d232283647
|
Merge pull request #7149 from geoffw0/non-https-url2
C++: Minor improvements to 'Failure to use HTTPS URLs' query
|
2021-11-17 10:05:30 +00:00 |
|
Tom Hvitved
|
4eacbd1cbe
|
Ruby: Sync files
|
2021-11-17 10:49:51 +01:00 |
|
Tom Hvitved
|
6d58dd2823
|
Java: Update expected test output
|
2021-11-17 10:49:51 +01:00 |
|
Tom Hvitved
|
3da73b9001
|
C#: Update expected test output
|
2021-11-17 10:49:49 +01:00 |
|
Tom Hvitved
|
58dd75881c
|
C#: Update flow summary to avoid negative recursion
|
2021-11-17 10:39:13 +01:00 |
|