Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 2a41e7b

Browse files
Andrei DiaconuAndreiDiaconu1
Andrei Diaconu
authored and
AndreiDiaconu1
committed
Fixed issues mentioned in the PR comments
Modified _.getCallable() to _.getFunction() Deleted both *ssa folders from ir/implementation Deleted the ValueCategory.qll file
1 parent aea0356 commit 2a41e7b

67 files changed

Lines changed: 52 additions & 10139 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎csharp/ql/src/semmle/code/csharp/ir/IRConfiguration.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ class IRConfiguration extends TIRConfiguration {
1313
/**
1414
* Holds if IR should be created for callable `callable`. By default, holds for all callables.
1515
*/
16-
predicate shouldCreateIRForCallable(Callable callable) {
16+
predicate shouldCreateIRForFunction(Callable callable) {
1717
any()
1818
}
1919
}

‎csharp/ql/src/semmle/code/csharp/ir/Util.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ class ObjectInitializerMod extends ObjectInitializer {
3030
}
3131

3232
// TODO: See if we need to adapt this for C#
33-
abstract class SideEffectCallable extends Callable {
33+
abstract class SideEffectFunction extends Callable {
3434
/**
3535
* Holds if the function never reads from memory that was defined before entry to the function.
3636
* This memory could be from global variables, or from other memory that was reachable from a

‎csharp/ql/src/semmle/code/csharp/ir/implementation/ValueCategory.qll‎

Lines changed: 0 additions & 21 deletions
This file was deleted.

‎csharp/ql/src/semmle/code/csharp/ir/implementation/aliased_ssa/IR.qll‎

Lines changed: 0 additions & 34 deletions
This file was deleted.

‎csharp/ql/src/semmle/code/csharp/ir/implementation/aliased_ssa/IRBlock.qll‎

Lines changed: 0 additions & 238 deletions
This file was deleted.

0 commit comments

Comments
 (0)