Safe Haskell	None
Language	Haskell2010

Tokstyle.Analysis.SecurityRank.Types

Synopsis

Documentation

The summary for a function's security rank analysis in a specific context.

Constructors

SecurityRankSummaryData
Fields srsOutputRanks :: Map AbstractLocation SecurityRank Maps an output location (return value or dereferenced pointer param) to the rank it will be tainted with. srsSinks :: Map Int SecurityRank Maps an input parameter's index to the rank it's expected to have (as a sink). srsdDiagnostics :: [String]

Instances details

Eq SecurityRankSummaryData Source #
Instance details Defined in Tokstyle.Analysis.SecurityRank.Types Methods (==) :: SecurityRankSummaryData -> SecurityRankSummaryData -> Bool # (/=) :: SecurityRankSummaryData -> SecurityRankSummaryData -> Bool #
Ord SecurityRankSummaryData Source #
Instance details Defined in Tokstyle.Analysis.SecurityRank.Types Methods compare :: SecurityRankSummaryData -> SecurityRankSummaryData -> Ordering # (<) :: SecurityRankSummaryData -> SecurityRankSummaryData -> Bool # (<=) :: SecurityRankSummaryData -> SecurityRankSummaryData -> Bool # (>) :: SecurityRankSummaryData -> SecurityRankSummaryData -> Bool # (>=) :: SecurityRankSummaryData -> SecurityRankSummaryData -> Bool # max :: SecurityRankSummaryData -> SecurityRankSummaryData -> SecurityRankSummaryData # min :: SecurityRankSummaryData -> SecurityRankSummaryData -> SecurityRankSummaryData #
Show SecurityRankSummaryData Source #
Instance details Defined in Tokstyle.Analysis.SecurityRank.Types Methods showsPrec :: Int -> SecurityRankSummaryData -> ShowS # show :: SecurityRankSummaryData -> String # showList :: [SecurityRankSummaryData] -> ShowS #

The full, context-sensitive security rank summary for a function.

An empty security rank summary data.