Uses of Class
pascal.taie.analysis.pta.plugin.CompositePlugin
Package
Description
-
Uses of CompositePlugin in pascal.taie.analysis.pta.plugin.natives
Modifier and TypeClassDescriptionclass
This class models some native calls by "inlining" their side effects at the call sites to provide better precision for pointer analysis. -
Uses of CompositePlugin in pascal.taie.analysis.pta.plugin.reflection
-
Uses of CompositePlugin in pascal.taie.analysis.pta.plugin.taint
Modifier and TypeClassDescriptionclass
Taint Analysis composites pluginsSourceHandler
,TransferHandler
andSanitizerHandler
to handle the logic associated withSource
,TaintTransfer
, andSanitizer
respectively.