public void Run()
{
string input = FlowBlot.Model.Framework.Source();
Blot aBlot = new Blot();
aBlot.Name = input;
/*FLOW:Flow_00003 - A field-sensitive taint propagation:codethreat.flowblot.benchmark:5:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(aBlot.Name);
}
public void Run()
{
Blot blot1 = new Blot();
Blot blot2 = blot1;
blot1.Name = FlowBlot.Model.Framework.Source();
/*FLOW:Flow_00032 - A points-to analysis taint propagation:codethreat.flowblot.benchmark:5:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot2.Name);
}
public void Run()
{
var blot1 = new Blot();
blot1.Name = FlowBlot.Model.Framework.Source();
/*FLOW:Flow_00069 - A field-sensitive points-to analysis FP taint propagation:codethreat.flowblot.benchmark:3:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot1.Description);
}
public void Run()
{
Blot blot = new Blot();
blot.Viscosity = FlowBlot.Model.Framework.Source();
/*FLOW:Flow_00020 - A setter FP taint propagation:codethreat.flowblot.benchmark:0:NONE:0:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot.Viscosity);
}
public void Run()
{
Blot blot1 = new Blot();
Blot blot2 = new Blot();
blot1.Name = FlowBlot.Model.Framework.Source();
/*FLOW:Flow_00067 - A points-to analysis FP taint propagation:codethreat.flowblot.benchmark:0:NONE:0:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot2.Name);
}
public void Run()
{
Blot blot = new Blot();
blot.Label = String.Empty;
/*FLOW:Flow_00019 - A setter taint propagation:codethreat.flowblot.benchmark:5:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot.Label);
}
public void Run()
{
Blot blot = new Blot();
string input = FlowBlot.Model.Framework.Source();
blot.Name = input;
Method1(blot);
/*FLOW:Flow_00043 - A model pass-through taint propagation:codethreat.flowblot.benchmark:16:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot.Name);
}
public void Run()
{
Blot blot = new Blot()
{
Name = String.Empty
};
Color(blot);
/*FLOW:Flow_00012 - A pass by reference taint propagation:codethreat.flowblot.benchmark:5:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot.Name);
}
public void Run()
{
string input = FlowBlot.Model.Framework.Source();
BlotBag blotBag = new BlotBag();
Blot newBlot = new Blot();
newBlot.Name = input;
blotBag.Put(newBlot);
/*FLOW:Flow_00009 - A context-sensitivity taint propagation:codethreat.flowblot.benchmark:8:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blotBag.GetFirst().Name);
}
public void Run()
{
var blot1 = new Blot();
var blot2 = new Blot();
blot2.Name = FlowBlot.Model.Framework.Source();
blot2 = blot1;
/*FLOW:Flow_00068 - A flow-sensitive points-to analysis FP taint propagation:codethreat.flowblot.benchmark:4:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot2.Name);
}
public void Run()
{
Blot blot1 = new Blot();
Blot blot2 = null;
Assign(blot1, blot2);
blot1.Name = FlowBlot.Model.Framework.Source();
/*FLOW:Flow_00075 - A points-to analysis taint propagation using an assign function:codethreat.flowblot.benchmark:0+:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot2.Name);
}
public void Run()
{
string input = FlowBlot.Model.Framework.Source();
Blot blot = new Blot()
{
Name = String.Empty
};
Color(blot, input);
/*FLOW:Flow_00013 - A complex pass by reference taint propagation:codethreat.flowblot.benchmark:10:FIND_ISSUE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blot.Name);
}
void Update()
//Check if grounded
{
if (debug)
{
Debug.Log(stateMachine.currentState);
}
rayHitDistance = 3f; //Reset du rayHitDistance a tous les frames
//Grounding
if (!isClimbing)
{
CheckGround();
onGround = (rayHitDistance <= rayCastThreshold);
if (!onGround)
{
CheckLedges();
}
}
if (currentBlot == null)
{
currentBlot = Instantiate(blot).GetComponent <Blot>();
}
//FX changement de pesrpectives
if (canVision && InputsManager.instance.triggerLeftDown && GameManager.instance.spcLvlMan.perspSubsUnlocked || canVision && InputsManager.instance.triggerRightDown && GameManager.instance.spcLvlMan.perspAddUnlocked)
{
if (Time.timeScale != 0f)
{
visionPos = PlayFxVision("FX_Blank_Vision", tr.position, currentCameraTr.eulerAngles, 1f);
}
}
if (vision && visionPos != null)
{
visionPos.position = tr.position + Vector3.up * 2f;
visionPos.eulerAngles = currentCameraTr.eulerAngles;
}
//Plateformes mobile
if (currentPlatform)
{
controller.Move(currentPlatform.GetTargetDirection());
}
}
public void Run()
{
string input = FlowBlot.Model.Framework.Source();
BlotBag blotBag = new BlotBag();
Blot newBlot = new Blot();
newBlot.Name = input;
blotBag.Put(newBlot);
BlotBag blotBag2 = new BlotBag();
Blot newBlot2 = new Blot();
newBlot2.Name = System.String.Empty;
blotBag2.Put(newBlot2);
/*FLOW:Flow_00010 - A context-sensitive FP taint propagation:codethreat.flowblot.benchmark:9:NONE:1:
* STEP_PATH:ABC
*/
FlowBlot.Model.Framework.Sink(blotBag2.GetFirst().Name);
}
public void Color(Blot blot, string input)
{
blot.Name = input;
}
public void Color(Blot blot)
{
blot.Name = FlowBlot.Model.Framework.Source();
}
public void Assign(Blot b1, Blot b2)
{
b2 = b1;
}
