Commits

History for

onyoff/python-shared-cfg-dataflow-flip

Commits on Apr 29, 2026

C#: No need to special-case default arguments in nullness analysis
hvitved
committed
d4a3247

Commits on Apr 24, 2026

C#: Add cs/deferenced-value-is-always-null test example for compound operators.
michaelnebel
committed
f3f3ee6

Commits on Jan 19, 2026

C#: Add some more tests.
michaelnebel
committed
7ff1c12

Commits on Oct 29, 2025

C#: Accept test changes for assert split removal.
aschackmull
committed
900d0d2
C#: Replace Guards with the new implementation.
aschackmull
committed
7241bed
C#: Minor test tweak.
aschackmull
committed
84b8b1c
C#: Replace references to getANullCheck.
aschackmull
committed
dc4abc9
C#: Update NullCheck test to reflect what nullness use.
aschackmull
committed
46fc006
C#: Remove tests referencing impliesStep.
aschackmull
committed
e3fc319

Commits on Oct 3, 2025

C#: Accept qltest changes.
aschackmull
committed
b392767
C#: Update nullness qltest
aschackmull
committed
df6172b

Commits on Sep 17, 2025

C#: Rename predicate as per review, and fixup qltest.
aschackmull
committed
5e76d5f

Commits on Jan 16, 2025

C#: Update implications test expected output.
michaelnebel
committed
bae29ae

Commits on Jan 14, 2025

C#: Update expected testoutput for Nullness tests.
michaelnebel
committed
d40c1be
C#: Add ImplicitToString example in nullness tests.
michaelnebel
committed
6a31fd7

Commits on Apr 10, 2024

C#: Adjust conditional access locations
hvitved
committed
1c344d6

Commits on Feb 26, 2024

C#: Adopt shared variable capture library
hvitved
committed
acd5219

Commits on Jan 8, 2024

Fix comment in test file
tamasvajk
committed
e67035f
Fix null dereference false positive
tamasvajk
committed
91637d4
Add null dereference test case with false positive
tamasvajk
committed
a354ca3

Commits on Dec 4, 2023

C#: Add a few more `is (not) null` tests
hvitved
committed
84cba21

Commits on Aug 29, 2023

C#: Base Nullness tests on stubs.
michaelnebel
committed
6760dd9

Commits on May 15, 2023

C#: Update expected test output
hvitved
committed
3c173df

Commits on May 3, 2023

C#: Accept consistency changes.
MathiasVP
committed
177dd76

Commits on Sep 26, 2022

update the alert-messages of csharp queries
erik-krogh
committed
326666a

Commits on Feb 8, 2022

C#: Remove FPs from `cs/dereferenced-value-may-be-null`
hvitved
committed
984e01e
C#: Add nullness tests for captured variables
hvitved
committed
7948d96

Commits on Sep 6, 2021

C#: Change generic method names to include <> and type args/params
tamasvajk
committed
b7f13a7

Commits on Jul 1, 2021

Add adjusted expected files
tamasvajk
committed
5e27703
Trim test files + remove duplicate newlines
tamasvajk
committed
03d1a3e
C#: Start using 'options' files in tests
tamasvajk
committed
c29d110