Skip to content

Commit 5aee352

Browse files
committed
C#: Add member flow example.
1 parent 4b62cb6 commit 5aee352

File tree

1 file changed

+21
-0
lines changed

1 file changed

+21
-0
lines changed

csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -576,3 +576,24 @@ public class DImpl : D
576576
}
577577
}
578578

579+
public class MemberFlow
580+
{
581+
public class C
582+
{
583+
public string Prop { get; set; }
584+
585+
public string Field;
586+
}
587+
588+
// SPURIOUS-neutral=Models;MemberFlow;M1;(Models.MemberFlow+C);summary;df-generated
589+
public string M1(C c)
590+
{
591+
return c.Prop;
592+
}
593+
594+
// summary=Models;MemberFlow;false;M2;(Models.MemberFlow+C);;Argument[0];ReturnValue;taint;df-generated
595+
public string M2(C c)
596+
{
597+
return c.Field;
598+
}
599+
}

0 commit comments

Comments
 (0)