JS: More docs

This commit is contained in:
Asger F
2024-11-21 11:06:43 +01:00
parent 4e62a512c5
commit ce00bd2cc9

View File

@@ -22,6 +22,10 @@ private predicate isCallback(DataFlow::SourceNode node) {
/**
* Summary that propagates exceptions out of callbacks back to the caller.
*
* This summary only applies to calls that have no other call targets.
* See also `FlowSummaryDefaultExceptionalReturn`, which handles calls that have a summary target,
* but where the summary does not mention `ReturnValue[exception]`.
*/
private class ExceptionFlowSummary extends SummarizedCallable, LibraryCallableInternal {
ExceptionFlowSummary() { this = "Exception propagator" }