private void TaintClassField(TaintClassFieldRequest request)
{
var program = myProgramBuilder.GetProgram();
var clazz = program.GetOrCreateClass(request.ClassName);
var field = program.GetOrCreateClassField(clazz.Id, request.FieldName);
field.Mark(TaintMarker.Instance);
}
public void CheckAndAddIfTainted(ClassFieldCompilationResult compiled)
{
var tainted = compiled.Attributes.Any(attribute => attribute.Name.ShortName == "Tainted");
if (tainted)
{
var request = new TaintClassFieldRequest(compiled.ContainingClass, compiled.FieldName);
myCollectedInteractiveRequests.Add(request);
}
}
