hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Stub unsafe modifier

Browse Source
This commit is contained in:
Tamas Vajk
2021-04-22 16:06:04 +02:00
parent 4e0bbffac4
commit 5e07d82b42
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/src/Stubs/Stubs.qll
View File

@@ -319,7 +319,11 @@ private string stubAccessibility(Member m) {
}
private string stubModifiers(Member m) {
result = stubAccessibility(m) + stubStaticOrConst(m) + stubOverride(m)
result = stubUnsafe(m) + stubAccessibility(m) + stubStaticOrConst(m) + stubOverride(m)
}
private string stubUnsafe(Member m) {
if m.(Modifiable).isUnsafe() then result = "unsafe " else result = ""
}
private string stubStaticOrConst(Member m) {

2
csharp/ql/src/Stubs/make_stubs_nuget.py
View File

@@ -67,7 +67,7 @@ helpers.run_cmd(['dotnet', 'format', projectDirOut,
'--include', outputName + '.cs'])
print("\n* Building output project")
helpers.run_cmd(['dotnet', 'build', '/t:rebuild', projectDirOut],
helpers.run_cmd(['dotnet', 'build', '/t:rebuild', '/p:AllowUnsafeBlocks=true', projectDirOut],
'ERR: Build failed. Script failed to generate a stub that builds')
print("\n --> Generated output file: " + outputFile)