hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Add some model generator tests related to lifting.

Browse Source
This commit is contained in:
Michael Nebel
2024-05-14 11:56:30 +02:00
parent 3ad29d843d
commit 0d397cea9f
1 changed files with 58 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

58
csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs
View File

@@ -490,3 +490,61 @@ public class ParameterlessConstructor
IsInitialized = true;
}
}
public class Inheritance
{
public abstract class BasePublic
{
// neutral=Models;Inheritance+BasePublic;Id;(System.String);summary;df-generated
public abstract string Id(string x);
}
public class AImplBasePublic : BasePublic
{
// summary=Models;Inheritance+AImplBasePublic;false;Id;(System.String);;Argument[0];ReturnValue;taint;df-generated
public override string Id(string x)
{
return x;
}
}
public interface IPublic1
{
// neutral=Models;Inheritance+IPublic1;Id;(System.String);summary;df-generated
string Id(string x);
}
public interface IPublic2
{
// neutral=Models;Inheritance+IPublic2;Id;(System.String);summary;df-generated
string Id(string x);
}
public abstract class B : IPublic1
{
// neutral=Models;Inheritance+B;Id;(System.String);summary;df-generated
public abstract string Id(string x);
}
private abstract class C : IPublic2
{
public abstract string Id(string x);
}
public class BImpl : B
{
// summary=Models;Inheritance+BImpl;false;Id;(System.String);;Argument[0];ReturnValue;taint;df-generated
public override string Id(string x)
{
return x;
}
}
private class CImpl : C
{
public override string Id(string x)
{
return x;
}
}
}