Tom Hvitved
|
b926a7ebba
|
Data flow: Update QL doc
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
4d14311653
|
Data flow: Rename DataFlowParameter to InputSig
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
6208175aa9
|
Data flow: Move DataFlowParameter into DataFlow.qll
|
2023-08-07 11:35:21 +02:00 |
|
Tom Hvitved
|
0d33c32d8e
|
Data flow: Move DataFlowImpl(Common).qll into an internal folder
|
2023-08-07 11:35:21 +02:00 |
|
Jeroen Ketema
|
c4a65e58bb
|
Add change note
|
2023-08-04 22:53:33 +02:00 |
|
Jeroen Ketema
|
20b792545d
|
Add missing QLDoc
|
2023-08-04 22:52:05 +02:00 |
|
Jeroen Ketema
|
7ba2f7a22a
|
Address review comments
|
2023-08-04 22:52:05 +02:00 |
|
Jeroen Ketema
|
bdd64ce86d
|
Introduce shared taint tracking library
|
2023-08-04 22:51:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
e066e87890
|
Update shared/dataflow/codeql/dataflow/DataFlowImpl.qll
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-08-04 11:32:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
eb19052a7d
|
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-08-04 11:10:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
981f67531c
|
DataFlow: Introduce 'revSinkNode'.
|
2023-08-04 11:09:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
50f5c4d5f6
|
DataFlow: Don't support stateless sink nodes in partial flow exploration.
|
2023-08-03 13:30:05 +02:00 |
|
Anders Schack-Mulligen
|
72171972c3
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2023-08-03 10:04:06 +02:00 |
|
Anders Schack-Mulligen
|
84316c41a3
|
Java: Add more qldoc.
|
2023-08-03 10:04:06 +02:00 |
|
Anders Schack-Mulligen
|
90052a3ca2
|
Java: Add proper types for capture nodes.
|
2023-08-03 10:04:06 +02:00 |
|
Anders Schack-Mulligen
|
e2a0849a0e
|
Java: Add more qldoc.
|
2023-08-03 10:04:06 +02:00 |
|
Anders Schack-Mulligen
|
c5990311ca
|
Java: Redesign and reimplement variable capture flow.
|
2023-08-03 10:04:06 +02:00 |
|
Anders Schack-Mulligen
|
f4a05c183b
|
Shared: Add some qldoc.
|
2023-08-03 10:04:05 +02:00 |
|
Anders Schack-Mulligen
|
15daa51ee5
|
Shared: Address review comments and QL4QL alerts.
|
2023-08-03 10:04:05 +02:00 |
|
Anders Schack-Mulligen
|
d1a616a70a
|
Java: Add proper support for variable capture flow.
|
2023-08-03 10:04:02 +02:00 |
|
Mathias Vorreiter Pedersen
|
a5f521cfa4
|
DataFlow: Add change note.
|
2023-08-02 14:56:57 +02:00 |
|
Mathias Vorreiter Pedersen
|
b953c4a1cf
|
DataFlow: Allow stateless sinks.
|
2023-08-02 14:31:18 +02:00 |
|
Anders Schack-Mulligen
|
1ad51e754e
|
Dataflow: Rename change note to proper format.
|
2023-08-02 08:50:51 +02:00 |
|
Anders Schack-Mulligen
|
199d1431d7
|
Dataflow: Add change note.
|
2023-08-01 14:02:34 +02:00 |
|
Anders Schack-Mulligen
|
50e7892498
|
Dataflow: Autoformat/indent.
|
2023-08-01 13:47:08 +02:00 |
|
Anders Schack-Mulligen
|
d7ea60e137
|
Java: Move data flow lib.
|
2023-08-01 13:47:08 +02:00 |
|