clang::ento::bugreporter Namespace Reference

Classes
class	ExpressionHandler
	Handles expressions during the tracking. More...
class	StoreHandler
	Handles stores during the tracking. More...
struct	StoreInfo
	Describes an event when the value got stored into a memory region. More...
class	Tracker
	A generalized component for tracking expressions, values, and stores. More...
class	TrackingBugReporterVisitor
	Visitor that tracks expressions and values. More...
struct	TrackingOptions
	Defines a set of options altering tracking behavior. More...

Typedefs
using	TrackerRef = llvm::IntrusiveRefCntPtr< Tracker >

Enumerations
enum	TrackingKind { TrackingKind::Thorough, TrackingKind::Condition }
	Specifies the type of tracking for an expression. More...

Functions
bool	trackExpressionValue (const ExplodedNode *N, const Expr *E, PathSensitiveBugReport &R, TrackingOptions Opts={})
	Attempts to add visitors to track expression value back to its point of origin. More...
void	trackStoredValue (KnownSVal V, const MemRegion *R, PathSensitiveBugReport &Report, TrackingOptions Opts={}, const StackFrameContext *Origin=nullptr)
	Track how the value got stored into the given region and where it came from. More...
const Expr *	getDerefExpr (const Stmt *S)

Typedef Documentation

TrackerRef

using clang::ento::bugreporter::TrackerRef = typedef llvm::IntrusiveRefCntPtr<Tracker>

Definition at line 156 of file BugReporterVisitors.h.

Enumeration Type Documentation

TrackingKind

enum clang::ento::bugreporter::TrackingKind

strong

Specifies the type of tracking for an expression.

Enumerator
Thorough	Default tracking kind – specifies that as much information should be gathered about the tracked expression value as possible.
Condition	Specifies that a more moderate tracking should be used for the expression value. This will essentially make sure that functions relevant to it aren't pruned, but otherwise relies on the user reading the code or following the arrows.

Definition at line 95 of file BugReporterVisitors.h.

Function Documentation

getDerefExpr()

const Expr* clang::ento::bugreporter::getDerefExpr

(

const Stmt *

S

)

Referenced by peelOffOuterExpr().

trackExpressionValue()

bool clang::ento::bugreporter::trackExpressionValue	(	const ExplodedNode *	N,
		const Expr *	E,
		PathSensitiveBugReport &	R,
		TrackingOptions	Opts = {}
	)

Attempts to add visitors to track expression value back to its point of origin.

Parameters

N	A node "downstream" from the evaluation of the statement.
E	The expression value which we are tracking
R	The bug report to which visitors should be attached.
Opts	Tracking options specifying how we are tracking the value.

Returns

Whether or not the function was able to add visitors for this statement. Note that returning true does not actually imply that any visitors were added.

Referenced by emitBug().

trackStoredValue()

void clang::ento::bugreporter::trackStoredValue	(	KnownSVal	V,
		const MemRegion *	R,
		PathSensitiveBugReport &	Report,
		TrackingOptions	Opts = {},
		const StackFrameContext *	Origin = nullptr
	)

Track how the value got stored into the given region and where it came from.

Parameters

V	We're searching for the store where R received this value.
R	The region we're tracking.
Opts	Tracking options specifying how we want to track the value.
Origin	Only adds notes when the last store happened in a different stackframe to this one. Disregarded if the tracking kind is thorough. This is useful, because for non-tracked regions, notes about changes to its value in a nested stackframe could be pruned, and this visitor can prevent that without polluting the bugpath too much.