Tamas Vajk
|
27608b3b38
|
Add support for event stubbing
|
2021-06-23 09:26:53 +02:00 |
|
Tamas Vajk
|
85b3ec6096
|
Add support for base ctor calls in stubbing
|
2021-06-23 09:26:53 +02:00 |
|
Tamas Vajk
|
7bf1794310
|
Add support for delegate stubbing
|
2021-06-23 09:26:53 +02:00 |
|
Tamas Vajk
|
a273f88a51
|
Add support for explicitly implemented indexers
|
2021-06-23 09:26:53 +02:00 |
|
Tamas Vajk
|
481ae0ff19
|
Exclude default struct constructors from stubs
|
2021-06-23 09:26:53 +02:00 |
|
Tamas Vajk
|
3f0a158b3c
|
Add query to select all public declarations from target assemblies
|
2021-06-23 09:26:53 +02:00 |
|
Tamas Vajk
|
bfa9bf33c0
|
C#: Add nuget based stubbing script
|
2021-06-23 09:26:53 +02:00 |
|
Tom Hvitved
|
38a38fd2c1
|
Merge pull request #6003 from hvitved/csharp/external-summaries
C#: CSV-based flow summaries
|
2021-06-22 12:59:44 +02:00 |
|
Anders Schack-Mulligen
|
65ac8be5ac
|
Java: Add defaultImplicitTaintRead and sync.
|
2021-06-21 14:42:47 +02:00 |
|
Anders Schack-Mulligen
|
80880320d5
|
Dataflow: Sync.
|
2021-06-21 14:42:47 +02:00 |
|
Anders Schack-Mulligen
|
9110dfaeb3
|
Merge pull request #6095 from hvitved/dataflow/local-cc-join
Data flow: Fix `getLocalCallContext` join-order
|
2021-06-21 12:53:38 +02:00 |
|
Calum Grant
|
32f6a465b0
|
Merge pull request #6080 from github/calumgrant/security-severities
Update security-severity scores
|
2021-06-18 09:40:40 +01:00 |
|
Tom Hvitved
|
eb86bceb4d
|
Address review comments
|
2021-06-18 10:18:47 +02:00 |
|
Tom Hvitved
|
66e4940ac3
|
C#: Remove bad magic
|
2021-06-17 20:47:20 +02:00 |
|
Tom Hvitved
|
d5163ca244
|
C#: Cache NamedElement::hasQualifiedName/2
|
2021-06-17 20:47:07 +02:00 |
|
Tom Hvitved
|
eca11f1b40
|
C#: Adjust getQualifiedName for type parameters
|
2021-06-17 14:47:19 +02:00 |
|
Tom Hvitved
|
ffb2350a54
|
Data flow: Fix getLocalCallContext join-order
|
2021-06-17 10:02:31 +02:00 |
|
Tom Hvitved
|
cc383e0f6a
|
Data flow: Workaround for too clever compiler in consistency queries
|
2021-06-17 09:43:36 +02:00 |
|
Tom Hvitved
|
0af44a7f94
|
C#: Changes to Type::{getQualifier,hasQualifiedName}
|
2021-06-16 19:36:05 +02:00 |
|
Tom Hvitved
|
8866e6c969
|
C#: Always use fully qualified names in CSV data-flow summaries
|
2021-06-16 14:09:45 +02:00 |
|
Tom Hvitved
|
def3d6bac4
|
C#: CSV-based flow summaries
|
2021-06-16 14:09:45 +02:00 |
|
Tamas Vajk
|
28ef0e86f6
|
Apply code review findings
|
2021-06-16 10:51:52 +02:00 |
|
Tamas Vajk
|
db8a777aa9
|
Fix isEffectively* predicates to members extracted from multiple assemblies
|
2021-06-16 10:51:52 +02:00 |
|
Tamas Vajk
|
77f8f3fa8a
|
Adjust comments on isEffectively*
|
2021-06-16 10:51:52 +02:00 |
|
Tamas Vajk
|
eea96a5585
|
Fix effective publicness of protected private and protected internal
|
2021-06-16 10:51:52 +02:00 |
|
Tamas Vajk
|
f715445c7a
|
Fix effective privateness of explicitly implemented members
|
2021-06-16 10:51:08 +02:00 |
|
Tamas Vajk
|
44b30b70da
|
C#: Fix Modifiable::isUnsafe to handle declarations extracted from assemblies
|
2021-06-15 17:30:48 +02:00 |
|
Calum Grant
|
771e686946
|
Update security-severity scores
|
2021-06-15 13:25:17 +01:00 |
|
Calum Grant
|
a594afb828
|
Add security-severity metadata
|
2021-06-10 20:11:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
879bfbbd4e
|
C++: Match the join order from before #5522.
|
2021-06-09 15:02:31 +02:00 |
|
Tamás Vajk
|
1a1b74cfcc
|
Merge pull request #5998 from tamasvajk/fix/tuple-members
C#: Fix container type extraction of tuple members
|
2021-06-07 09:18:05 +02:00 |
|
Tamas Vajk
|
33daa2c41d
|
Fix container type extraction of tuple members
|
2021-06-04 14:33:12 +02:00 |
|
Tom Hvitved
|
42202402a4
|
Address review comments
|
2021-06-04 14:32:37 +02:00 |
|
Tom Hvitved
|
cc02c95092
|
C#: Sync files
|
2021-06-03 13:54:51 +02:00 |
|
Anders Schack-Mulligen
|
c0e562de21
|
Merge pull request #5979 from hvitved/java/shared-external-summaries
Java: Move some CSV flow summary code into shared library
|
2021-06-02 12:28:45 +02:00 |
|
Jonas Jensen
|
7282ad90d0
|
Merge pull request #5854 from dbartol/dbartol/smart-pointers/side-effects
C++: Generate side effect instructions for smart pointer indirections
|
2021-06-01 16:57:05 +02:00 |
|
Dave Bartolomeo
|
da14647e5a
|
Merge pull request #5522 from github/rdmarsh2/cpp/ssa-reuse
C++: reuse unaliased SSA results when computing aliased SSA
|
2021-06-01 10:17:54 -04:00 |
|
Tom Hvitved
|
ecf7f24cde
|
C#: Sync latest FlowSummaryImpl.qll changes
|
2021-06-01 13:22:14 +02:00 |
|
Anders Schack-Mulligen
|
ce509eb7e1
|
Merge pull request #5927 from aschackmull/dataflow/flowthrough-dispatch-perf
Dataflow: Improve performance in flow-through pruning
|
2021-06-01 11:46:22 +02:00 |
|
Tom Hvitved
|
5771b0420f
|
Merge pull request #5936 from hvitved/csharp/cfg/perf-tweaks
C#: Various CFG related performance tweaks
|
2021-06-01 11:06:01 +02:00 |
|
Anders Schack-Mulligen
|
5d21c64247
|
Dataflow: qldoc fix.
|
2021-06-01 10:49:47 +02:00 |
|
Anders Schack-Mulligen
|
4f9a6c151b
|
Dataflow: Code review fixes.
|
2021-06-01 10:29:17 +02:00 |
|
Anders Schack-Mulligen
|
683f853fa5
|
Dataflow: Fix another bad join order.
|
2021-05-31 15:14:13 +02:00 |
|
Erik Krogh Kristensen
|
b947334eea
|
CPP: make some parameter names consistent with the names used in the super class
|
2021-05-28 16:48:47 +02:00 |
|
Anders Schack-Mulligen
|
017bf68906
|
Dataflow: Fix bad join order.
|
2021-05-25 11:40:53 +02:00 |
|
Tom Hvitved
|
b55bce46f8
|
C#: Restrict non-returning CIL analysis to methods not from source
|
2021-05-25 10:41:58 +02:00 |
|
Tom Hvitved
|
0d14b9413d
|
C#: Avoid recomputing ControlFlowTree::Range outside the CFG construction stage
|
2021-05-23 14:14:43 +02:00 |
|
Tom Hvitved
|
088a1a9707
|
C#: Simplify TriedControlFlowElement::getAThrownException()
|
2021-05-23 14:14:43 +02:00 |
|
Tom Hvitved
|
3162e12082
|
C#: Redefine ControlFlowElement::getAssembly
|
2021-05-23 14:14:43 +02:00 |
|
Tom Hvitved
|
5102fcd5f3
|
C#: Rewrite predicates from using forall to using unique
This avoids generation of expensive anti-join predicates with Cartesian products.
|
2021-05-23 14:14:43 +02:00 |
|