Tom Hvitved a4023b8a1d Data flow: Make PathGraph::edges/2 and PathNode::getASuccessor/1 consistent

2022-05-25 14:39:37 +02:00

..

campaigns/Solorigate

Post-release preparation for codeql-cli-2.9.2

2022-05-12 18:21:38 +00:00

consistency-queries

Add groups to all consistency-queries/qlpack.yml

2022-02-07 11:15:48 +01:00

examples

Add new groups for examples packs

2022-01-26 14:49:18 -08:00

lib

Data flow: Make PathGraph::edges/2 and PathNode::getASuccessor/1 consistent

2022-05-25 14:39:37 +02:00

src

C#: Flow summaries has now been added for Exception stack trace, but not for ToString. The latter will be encoded as an extra taintstep in the analysis. To reduce noise for all uses of an exception itself an isSanitizerIn is introduced.

2022-05-25 08:28:15 +02:00

test

C#: Update flow summaries test after rebase. The rebase included a fix to the isAutoGenerated predicate, which means that a summary is only considered autogenerated, if no hand-written version exist. This affects the printing as well.

2022-05-25 08:28:15 +02:00