示例#1
0
        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);
        }
示例#2
0
        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);
        }
示例#3
0
        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);
        }
示例#4
0
        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);
        }
示例#5
0
        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);
        }
示例#6
0
        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);
        }
示例#7
0
        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);
        }
示例#8
0
        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);
        }
示例#9
0
        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);
        }
示例#10
0
        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);
        }
示例#11
0
        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);
        }
示例#12
0
        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);
        }
示例#13
0
    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());
        }
    }
示例#14
0
        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);
        }
示例#15
0
 public void Color(Blot blot, string input)
 {
     blot.Name = input;
 }
示例#16
0
 public void Color(Blot blot)
 {
     blot.Name = FlowBlot.Model.Framework.Source();
 }
示例#17
0
 public void Assign(Blot b1, Blot b2)
 {
     b2 = b1;
 }