Tony Torralba
|
8aa80882ea
|
Sync files
|
2023-03-10 12:35:13 +01:00 |
|
Anders Schack-Mulligen
|
159d8e978c
|
Dataflow: one more autoformat post rebase
|
2023-03-10 10:04:35 +01:00 |
|
Anders Schack-Mulligen
|
5ad7ed49dd
|
C#: Autoformat
|
2023-03-10 09:39:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
1f77f77153
|
DataFlow: Sync identical files.
|
2023-03-09 10:41:15 +00:00 |
|
Michael Nebel
|
67e7b8fc23
|
C#: If a type (or any child of a type) is a pointer like type then it is unsafe.
|
2023-03-08 10:02:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
92ad099c1b
|
DataFlow: Remove bindingsets, remove the call column, and swap parameter and argument columns.
|
2023-03-06 13:47:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
3bf28cc752
|
DataFlow: Sync identical files.
|
2023-03-06 13:46:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
b667e0136f
|
C#: Add stub.
|
2023-03-06 13:44:23 +00:00 |
|
Anders Schack-Mulligen
|
5c7f2ac7f7
|
Merge pull request #12186 from aschackmull/dataflow/refactor-configuration
Data flow: Refactor configuration
|
2023-03-06 13:38:59 +01:00 |
|
Anders Schack-Mulligen
|
557cb17f4d
|
Dataflow: Minor perf fix for single config wrapper.
|
2023-03-06 10:24:33 +01:00 |
|
Anders Schack-Mulligen
|
0addcfa7c5
|
Dataflow: Fix some perf issues.
|
2023-03-03 11:45:32 +01:00 |
|
erik-krogh
|
f96d6accbb
|
delete old deprecations
|
2023-03-03 09:23:02 +01:00 |
|
Tony Torralba
|
59bd1e5ab1
|
Merge pull request #12228 from github/java/mad-decls-triage-request-2276
Java: Update MaD sink decls after triage
|
2023-03-01 17:08:38 +01:00 |
|
Michael Nebel
|
f209eed91c
|
C#: Extractor- and library support for explicit interface implementations for operators.
|
2023-03-01 10:42:28 +01:00 |
|
Michael Nebel
|
0dc6ada616
|
Merge pull request #12234 from michaelnebel/csharp/filescopedtypes
C# 11: Support for `file` scoped types.
|
2023-03-01 10:39:46 +01:00 |
|
Anders Schack-Mulligen
|
9671c8824c
|
C#: Remove reference to stageStats.
|
2023-02-27 14:30:05 +01:00 |
|
Anders Schack-Mulligen
|
bf650c755c
|
Dataflow: Sync changes to all languages.
|
2023-02-27 14:30:05 +01:00 |
|
Tom Hvitved
|
ad37523b07
|
C#: Adopt shared file system implementation
|
2023-02-23 10:21:04 +01:00 |
|
Michael Nebel
|
cdda4005fd
|
C#: Add missing hasProvenance overrides.
|
2023-02-20 13:19:56 +01:00 |
|
Michael Nebel
|
813ffa440c
|
Java: Consider ai-generated flow summaries to as generated summaries in dataflow.
|
2023-02-20 12:11:48 +01:00 |
|
Michael Nebel
|
81fde0ea79
|
C#: Make library support for file scoped types.
|
2023-02-20 10:30:10 +01:00 |
|
Michael Nebel
|
c0b8e852c5
|
C#: Add library support for required members.
|
2023-02-17 08:40:39 +01:00 |
|
Michael Nebel
|
238a70fc55
|
C#: Add library support for checked operators.
|
2023-02-14 12:58:15 +01:00 |
|
Michael Nebel
|
b3602a5b7f
|
C#: Use functionname as stored in the database.
|
2023-02-13 13:53:46 +01:00 |
|
Anders Schack-Mulligen
|
e877b161d8
|
Merge pull request #12124 from hvitved/dataflow/stage1-dispatch
Data flow: Call context virtual dispatch pruning in stage 1
|
2023-02-13 13:13:43 +01:00 |
|
Tom Hvitved
|
f7a5a33474
|
Address review comment
|
2023-02-13 09:01:15 +01:00 |
|
Michael Nebel
|
c00b089aa8
|
C#: Introduce library support for scoped.
|
2023-02-09 11:32:08 +01:00 |
|
Tom Hvitved
|
8e8897b08b
|
Data flow: Sync files
|
2023-02-07 15:15:04 +01:00 |
|
Anders Schack-Mulligen
|
67d4ed53b9
|
Dataflow: Sync.
|
2023-02-02 16:33:00 +01:00 |
|
Michael Nebel
|
86e9bf2f81
|
Merge pull request #11996 from michaelnebel/csharp/refstructreffield
C# 11: Extractor support for `ref` fields in `ref struct`.
|
2023-01-31 13:08:57 +01:00 |
|
Michael Nebel
|
2be090bb91
|
C#: Add predicate isRef to the CIL Field class.
|
2023-01-30 14:28:35 +01:00 |
|
Michael Nebel
|
3a4ec90ae9
|
C#: Extraction of ref modifier for fields.
|
2023-01-30 14:28:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
95b15825f9
|
DataFlow: Sync identical files.
|
2023-01-27 16:24:31 +00:00 |
|
Michael Nebel
|
4df615f994
|
Merge pull request #11922 from michaelnebel/csharp11/strings
C# 11: String related functionality.
|
2023-01-24 10:31:31 +01:00 |
|
Alex Ford
|
55550e7980
|
Merge pull request #11941 from alexrford/summary-component-tostring-syntheticglobal
Add missing toString case for synthetic globals
|
2023-01-23 10:00:00 +00:00 |
|
Alex Ford
|
e4df1f5a6f
|
Ruby: add missing toString case for synthetic globals
|
2023-01-20 13:31:43 +00:00 |
|
Michael Nebel
|
c87668a91d
|
C#: Library support for string UTF8/UTF16 encodings.
|
2023-01-20 13:39:41 +01:00 |
|
Michael Nebel
|
9cd1dc70e5
|
C#: Remove the Csv postfix of some predicates.
|
2023-01-19 15:02:52 +01:00 |
|
Michael Nebel
|
821d294be8
|
C#: Add library support for CIL generic attributes.
|
2023-01-18 10:49:44 +01:00 |
|
Michael Nebel
|
8b231c51f9
|
C#: Improve printing of constructed generic CIL types.
|
2023-01-18 10:49:44 +01:00 |
|
Michael Nebel
|
b680795d15
|
C#: The generic attribute type is a constructed class.
|
2023-01-18 10:49:44 +01:00 |
|
Michael Nebel
|
211af1943c
|
C#: Library support for generic attributes.
|
2023-01-18 10:48:30 +01:00 |
|
Rasmus Wriedt Larsen
|
e0ccb9306a
|
Merge pull request #11908 from RasmusWL/dataflow-consistency-more-excludes
DataFlow: Add `uniqueParameterNodePositionExclude`
|
2023-01-18 10:44:51 +01:00 |
|
Rasmus Wriedt Larsen
|
a0b1c2ea79
|
DataFlow: Add uniqueParameterNodePositionExclude
|
2023-01-17 14:05:22 +01:00 |
|
Rasmus Wriedt Larsen
|
2b0a5fd5d1
|
DataFlow: Add uniqueParameterNodeAtPositionExclude
|
2023-01-17 14:05:17 +01:00 |
|
Michael Nebel
|
dc50b6bad3
|
C#: Support for operators in implements relations.
|
2023-01-16 13:07:50 +01:00 |
|
Michael Nebel
|
8c2931cbb8
|
C#: Operators are now allowed to be declared virtual.
|
2023-01-16 13:07:50 +01:00 |
|
Michael Nebel
|
30738103f0
|
C#: Add unsigned right shift operator class.
|
2023-01-12 19:06:28 +01:00 |
|
Michael Nebel
|
148dc6de5a
|
C#: Rename shift operator classes.
|
2023-01-12 19:06:28 +01:00 |
|
Michael Nebel
|
f48eda829f
|
C#: Rename some of the TBinarySignOperation constructors.
|
2023-01-12 19:06:28 +01:00 |
|