Tom Hvitved
|
fc5158c41c
|
Merge pull request #5338 from hvitved/dataflow/performance-tweaks
Data flow: Performance tweaks
|
2021-03-10 13:56:57 +01:00 |
|
Tom Hvitved
|
fe6efde449
|
Address review comments
|
2021-03-09 14:30:12 +01:00 |
|
Tamas Vajk
|
ba05bf3ae0
|
Fix code review findings
|
2021-03-09 11:17:57 +01:00 |
|
Tom Hvitved
|
d4e0c7efae
|
Merge pull request #5340 from hvitved/csharp/null-checks
C#: Use `is [not] null` throughout in the extractor
|
2021-03-09 09:30:54 +01:00 |
|
Tamas Vajk
|
0defad77dd
|
C#: Add tuple data flow in patterns
|
2021-03-09 09:14:24 +01:00 |
|
Tom Hvitved
|
80a7b52f38
|
C#: Convert data-flow test queries to path-problems
|
2021-03-09 09:14:24 +01:00 |
|
Tom Hvitved
|
0698bdd907
|
C#: Restrict tuple read/store steps to tuple deconstructions/constructions
|
2021-03-09 09:14:24 +01:00 |
|
Tamas Vajk
|
6d409a0050
|
Fix failing tests
|
2021-03-09 09:14:24 +01:00 |
|
Tamas Vajk
|
ccf68ffd16
|
Add change note for tuple data flow improvements
|
2021-03-09 09:14:24 +01:00 |
|
Tamas Vajk
|
fcc4758eb8
|
Remove old taint tracking for tuples
|
2021-03-09 09:14:24 +01:00 |
|
Tamas Vajk
|
d05a733109
|
Add more test cases
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
b05199dccf
|
Tuple data flow: take cfg reachability into account
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
0ca4bf4267
|
C#: WIP: Add tuple data flow
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
4709442ef3
|
Extract tuple types from patterns and variable declarations
|
2021-03-09 09:14:23 +01:00 |
|
Tamas Vajk
|
1d70bfd011
|
Extract non-named tuple types
|
2021-03-09 09:06:35 +01:00 |
|
Tamas Vajk
|
7e1eee5fe2
|
Add tests that show tuple types
|
2021-03-09 09:06:35 +01:00 |
|
Anders Schack-Mulligen
|
aeb13146d2
|
Merge pull request #5275 from Marcono1234/marcono1234/included-qhelp-files
Use `.inc.qhelp` extension for included help files
|
2021-03-08 16:26:32 +01:00 |
|
Marcono1234
|
95aeb7b53f
|
Fix .qhelp file name mismatch
|
2021-03-08 14:27:35 +01:00 |
|
Tom Hvitved
|
63686b5c4e
|
C#: Use is [not] null throughout in the extractor
|
2021-03-05 16:28:12 +01:00 |
|
Tamás Vajk
|
23d994a4b4
|
Merge pull request #5197 from tamasvajk/feature/refactor-4
C#: Enable nullability in Extraction.CSharp
|
2021-03-05 16:24:19 +01:00 |
|
Tom Hvitved
|
6e5af1a9f8
|
Data flow: Sync files
|
2021-03-05 14:56:40 +01:00 |
|
Tom Hvitved
|
d496503d5d
|
Data flow: Restrict the size of getApNil()
|
2021-03-05 14:54:54 +01:00 |
|
Tom Hvitved
|
492add1f7a
|
Data flow: Force join-order for Node::getEnclosingCallable()
|
2021-03-05 14:54:54 +01:00 |
|
Jonas Jensen
|
32f1da7455
|
Merge pull request #5327 from MathiasVP/less-field-to-obj-flow
C++: Remove more field-to-object flow
|
2021-03-05 13:16:21 +01:00 |
|
Tamas Vajk
|
c6b47647e1
|
Move the nullable disable warning region to the Type instead of the base CachedSymbol entity
|
2021-03-05 13:14:07 +01:00 |
|
Tamas Vajk
|
df9d54c994
|
Fix code review findings
|
2021-03-05 13:00:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
c86fc223b9
|
C++: Fix comment and prevent false positives on chiOnlyPartiallyUpdatesLocation when Alias::getEndBitOffset doesn't have known value.
|
2021-03-05 08:53:24 +01:00 |
|
Marcono1234
|
5a8ffa5a85
|
Use .inc.qhelp extension for included help files
|
2021-03-04 22:04:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
b399246d7f
|
C++/C#: Sync identical files.
|
2021-03-04 16:34:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
8a4cc3b5c2
|
C++: Sync identical files.
|
2021-03-04 15:38:36 +01:00 |
|
Tamas Vajk
|
3e0245a7fc
|
Fix test case for RuntimeChecksBypass
|
2021-03-04 12:47:21 +01:00 |
|
Tamas Vajk
|
90acd8c695
|
Explicitly enable nullability analysis in guards tests
|
2021-03-04 11:39:56 +01:00 |
|
Anders Schack-Mulligen
|
45f52289ea
|
Merge branch 'main' into java/merge-5226
|
2021-03-04 11:36:16 +01:00 |
|
Anders Schack-Mulligen
|
fe07630e40
|
Merge pull request #5219 from smowton/smowton/feature/backward-dataflow-for-fluent-methods
Java: Add backward dataflow edges through fluent function invocations.
|
2021-03-04 11:13:32 +01:00 |
|
Tamas Vajk
|
cb4ed90c5c
|
Fix failing tests
|
2021-03-03 16:58:48 +01:00 |
|
Marcono1234
|
b9c0193022
|
Sync .qhelp file renaming to other languages
|
2021-03-03 15:38:08 +01:00 |
|
Tamas Vajk
|
ed5d31a385
|
C#: Upgrade Roslyn dependencies to 3.9
|
2021-03-03 14:57:56 +01:00 |
|
Tamas Vajk
|
a5a4329669
|
C#: Add tests for covariant return types
|
2021-03-03 14:52:10 +01:00 |
|
Tamas Vajk
|
bd2b3e72f8
|
C#: Use covariant return for context overrides
|
2021-03-03 14:35:07 +01:00 |
|
Tamas Vajk
|
cfd8a87496
|
C#: Fix nullability warnings after .net 5 upgrade
|
2021-03-03 14:25:59 +01:00 |
|
Tamas Vajk
|
828e1f81ae
|
Share core analysis logic between standalone and normal analysis
|
2021-03-03 14:18:19 +01:00 |
|
Tamas Vajk
|
15e26e1a91
|
C#: Reduce disabled nullability regions by splitting 'Extractor' and 'Analyser'
|
2021-03-03 14:18:19 +01:00 |
|
Tamas Vajk
|
2697677239
|
Merge Extractor.Standalone and OutputPath
|
2021-03-03 14:18:19 +01:00 |
|
Tamas Vajk
|
10ab17a7e0
|
C#: Enable nullability in csharp extraction project v1
|
2021-03-03 14:18:19 +01:00 |
|
Tamás Vajk
|
73ad417757
|
Merge pull request #5132 from tamasvajk/feature/dotnet502
C#: Upgrade projects to .net 5
|
2021-03-03 12:47:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
721ba5e2c5
|
Merge pull request #4825 from rdmarsh2/rdmarsh2/cpp/operand-reuse
C++: share `TOperand` across IR stages
|
2021-03-03 08:55:44 +01:00 |
|
Tamas Vajk
|
714e1dc686
|
Add change note
|
2021-03-02 15:08:07 +01:00 |
|
Tamas Vajk
|
fa2f345611
|
Revert "Simplify MissingCallTarget for calli"
This reverts commit 3b82abd7c7.
|
2021-03-02 12:58:42 +01:00 |
|
Tamas Vajk
|
faf69d65da
|
Fix merge error
|
2021-03-02 09:23:15 +01:00 |
|
Tamas Vajk
|
3b82abd7c7
|
Simplify MissingCallTarget for calli
|
2021-03-02 09:21:24 +01:00 |
|