| Modifier and Type | Method and Description |
|---|---|
protected int |
HttpResponseSplittingDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
TaintUtil.isConstantValue(Taint value) |
static boolean |
TaintUtil.isConstantValueAndNotEmpty(Taint value) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
PathTraversalDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
AbstractInjectionDetector.getPriority(Taint taint)
The default implementation of
getPriority() can be overridden if the severity and the confidence for risk
is particular. |
| Modifier and Type | Method and Description |
|---|---|
protected int |
CommandInjectionDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
CrlfLogInjectionDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
CustomInjectionDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
FormatStringManipulationDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
HttpParameterPollutionDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
LdapInjectionDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
UnvalidatedRedirectDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
SmtpHeaderInjectionDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
SqlInjectionDetector.getPriority(Taint taint) |
protected int |
AndroidSqlInjectionDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
TrustBoundaryViolationValueDetector.getPriority(Taint taint)
=
All or nothing :
If the taint to sink path is found, it is mark as high
If the source is not confirm, it is mark as low.
|
protected int |
TrustBoundaryViolationAttributeDetector.getPriority(Taint taint)
All or nothing :
If the taint to sink path is found, it is mark as high
If the source is not confirm, it is mark as low.
|
| Modifier and Type | Method and Description |
|---|---|
void |
HashUnsafeEqualsDetector.visitField(org.apache.bcel.generic.FieldInstruction put,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
Taint taint,
int numProduced,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
AbstractHardcodedPasswordEqualsDetector.visitField(org.apache.bcel.generic.FieldInstruction put,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
Taint taint,
int numProduced,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
HashUnsafeEqualsDetector.visitReturn(org.apache.bcel.generic.MethodGen methodGen,
Taint returnValue,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
AbstractHardcodedPasswordEqualsDetector.visitReturn(org.apache.bcel.generic.MethodGen methodGen,
Taint returnValue,
org.apache.bcel.generic.ConstantPoolGen cpg) |
| Modifier and Type | Method and Description |
|---|---|
void |
HashUnsafeEqualsDetector.visitInvoke(org.apache.bcel.generic.InvokeInstruction invoke,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
List<Taint> parameters,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
AbstractHardcodedPasswordEqualsDetector.visitInvoke(org.apache.bcel.generic.InvokeInstruction instruction,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
List<Taint> parameters,
org.apache.bcel.generic.ConstantPoolGen cpg) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
XssTwirlDetector.getPriority(Taint taint) |
protected int |
XssMvcApiDetector.getPriority(Taint taint) |
protected int |
ScalaSensitiveDataExposureDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
Taint |
TaintFrameModelingVisitor.getDefaultValue() |
Taint |
TaintMethodConfig.getOutputTaint()
Returns the output taint of the method describing the taint transfer
|
Taint |
TaintConfig.getStaticFieldTaint(String fieldSignature,
Taint defaultValue) |
static Taint |
Taint.merge(Taint a,
Taint b)
Returns the merge of the facts such that it can represent any of them
|
Taint |
Taint.setDebugInfo(String debugInfo)
Sets info for debugging purposes (consumes much memory)
|
static Taint |
Taint.valueOf(String stateName)
Constructs a new instance of taint from the specified state name
|
static Taint |
Taint.valueOf(Taint.State state)
Constructs a new instance of taint from the specified state
|
| Modifier and Type | Method and Description |
|---|---|
Map<Integer,Taint> |
TaintMethodConfig.getParametersOutputTaints()
Returns computed output taints for method parameters for back-propagation.
Please note the stackIndex is in reverse order compared to the method parameters (and frame local variables), i.e. |
| Modifier and Type | Method and Description |
|---|---|
Taint |
TaintConfig.getStaticFieldTaint(String fieldSignature,
Taint defaultValue) |
static Taint |
Taint.merge(Taint a,
Taint b)
Returns the merge of the facts such that it can represent any of them
|
void |
TaintConfig.putStaticFieldTaint(String fieldSignature,
Taint t) |
void |
TaintMethodConfig.setOuputTaint(Taint taint)
Sets the output taint of the method describing the taint transfer,
copy of the parameter is made and variable index is invalidated
|
void |
TaintMethodConfig.setParameterOutputTaint(int stackIndex,
Taint taint)
Stores output taint for method parameters to be used for back-propagation.
Please note the stackIndex is in reverse order compared to the method parameters (and frame local variables), i.e. |
void |
TaintFrameAdditionalVisitor.visitField(org.apache.bcel.generic.FieldInstruction put,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
Taint taintFrame,
int numProduced,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
TaintFrameAdditionalVisitor.visitReturn(org.apache.bcel.generic.MethodGen methodGen,
Taint returnValue,
org.apache.bcel.generic.ConstantPoolGen cpg) |
| Modifier and Type | Method and Description |
|---|---|
void |
TaintFrameAdditionalVisitor.visitInvoke(org.apache.bcel.generic.InvokeInstruction invoke,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
List<Taint> parameters,
org.apache.bcel.generic.ConstantPoolGen cpg)
This method will be triggered for every method invocation (static, interface, special and virtual).
|
| Constructor and Description |
|---|
Taint(Taint taint)
Creates a hard copy of the specified Taint instance
|
| Modifier and Type | Method and Description |
|---|---|
void |
PotentialValueTracker.visitField(org.apache.bcel.generic.FieldInstruction put,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
Taint taintFrame,
int numProduced,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
JstlExpressionWhiteLister.visitField(org.apache.bcel.generic.FieldInstruction put,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
Taint taintFrame,
int numProduced,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
PotentialValueTracker.visitReturn(org.apache.bcel.generic.MethodGen methodGen,
Taint returnValue,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
JstlExpressionWhiteLister.visitReturn(org.apache.bcel.generic.MethodGen methodGen,
Taint returnValue,
org.apache.bcel.generic.ConstantPoolGen cpg) |
| Modifier and Type | Method and Description |
|---|---|
void |
PotentialValueTracker.visitInvoke(org.apache.bcel.generic.InvokeInstruction invoke,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
List<Taint> parameters,
org.apache.bcel.generic.ConstantPoolGen cpg) |
void |
JstlExpressionWhiteLister.visitInvoke(org.apache.bcel.generic.InvokeInstruction invoke,
org.apache.bcel.generic.MethodGen methodGen,
TaintFrame frameType,
List<Taint> parameters,
org.apache.bcel.generic.ConstantPoolGen cpg) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
XPathInjectionDetector.getPriority(Taint taint) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
XssServletDetector.getPriority(Taint taint) |
protected int |
XssJspDetector.getPriority(Taint taint) |
Copyright © 2019. All rights reserved.