Michael Nebel
|
96b7250b61
|
C#: Mass enable quality queries and update tags.
|
2025-06-17 09:56:43 +02:00 |
|
Tom Hvitved
|
c5c97aca50
|
C#: Move implicit entry definitions inside method bodies in SSA construction
|
2024-07-01 10:48:13 +02:00 |
|
Tom Hvitved
|
b72f34591d
|
C#: Use {get,has}FullyQualifiedName throughout
|
2023-11-10 08:46:15 +01:00 |
|
Bradley Grainger
|
d10597f69d
|
Delete thin space from documentation.
Update the MSDN link to avoid an unnecessary redirection and use the correct anchor.
|
2023-08-28 11:02:38 -07:00 |
|
Tom Hvitved
|
b69188fee9
|
C#: Adopt shared CFG construction library from shared controlflow pack
|
2023-08-03 14:12:24 +02:00 |
|
Michael Nebel
|
38e906f854
|
C#: Use hasQualifiedName instead of getQualifiedName.
|
2022-12-06 11:59:13 +01:00 |
|
Michael Nebel
|
c24302bec2
|
C#: Replace all uses of the deprecated hasQualifiedName/1 predicate.
|
2022-12-06 11:59:12 +01:00 |
|
erik-krogh
|
326666ac85
|
update the alert-messages of csharp queries
|
2022-09-26 14:01:39 +02:00 |
|
Ian Lynagh
|
3fcfd32eb1
|
Make *.ql non-executable
|
2022-08-24 16:55:11 +01:00 |
|
Ian Lynagh
|
5d97bb35d0
|
Make *.cs non-executable
|
2022-08-24 16:54:34 +01:00 |
|
Michael Nebel
|
90b4eb9e13
|
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UnsafeLazyInitialization.
|
2022-03-14 14:17:56 +01:00 |
|
Erik Krogh Kristensen
|
6ff8d4de5c
|
add all remaining explicit this
|
2021-11-26 13:50:10 +01:00 |
|
Anders Schack-Mulligen
|
8f2094f0bf
|
Autoformat.
|
2020-11-30 14:42:38 +01:00 |
|
Calum Grant
|
6e3609696a
|
C#: Address review comments.
|
2020-06-25 09:59:59 +01:00 |
|
Calum Grant
|
d32199cccc
|
C#: QLdoc for CIL instructions.
|
2020-06-24 22:01:33 +01:00 |
|
Calum Grant
|
262a20cea0
|
C#: Add qldocs for Concurrency.qll, Documentation.qll, cil.qll and dotnet.qll.
|
2020-06-24 22:01:33 +01:00 |
|
Anders Schack-Mulligen
|
726a873c3e
|
C#: Autoformat.
|
2020-01-29 13:15:00 +01:00 |
|
Tom Hvitved
|
1434b10b7a
|
C#: Speedup structural comparison library
|
2019-03-04 21:23:34 +01:00 |
|
Tom Hvitved
|
a382a5876f
|
Merge pull request #808 from calumgrant/cs/double-checked-locks
C#: Work on cs/unsafe-double-checked-lock
|
2019-02-21 11:17:35 +01:00 |
|
calum
|
40f3b8b439
|
C#: Address review comments (documentation).
|
2019-02-20 18:00:30 +00:00 |
|
calum
|
b0e2e436a7
|
C#: Fix documentation.
|
2019-02-18 09:37:10 +00:00 |
|
Anders Schack-Mulligen
|
bcaaebfe7e
|
CSharp: Autoformat qlls
|
2019-02-12 14:38:42 +01:00 |
|
calum
|
b51eb2cb92
|
C#: Fix tags in documentation.
|
2019-02-11 17:52:55 +00:00 |
|
calum
|
d18bbf6a73
|
C#: Make query only apply to reftypes, since I believe valuetypes are safe or cannot be fixed trivially using the volatile keyword.
|
2019-02-08 15:18:29 +00:00 |
|
calum
|
b473d2f7a8
|
C#: Update change notes. Decrease the priority of this query because the volatile keyword is no longer needed on modern .Net runtimes.
|
2019-02-08 14:59:45 +00:00 |
|
calum
|
7addd41e38
|
C#: Fixes to double-checked lock.
|
2019-02-08 14:57:57 +00:00 |
|
Tom Hvitved
|
b81d2ca8fa
|
C#: Autoformat QLL files
|
2019-01-14 14:08:54 +01:00 |
|
Tom Hvitved
|
390ebc96ae
|
C#: Autoformat QL files
|
2019-01-11 13:55:28 +01:00 |
|
Tom Hvitved
|
daa45322b1
|
C#: Autoformat QL queries
|
2019-01-02 12:59:07 +01:00 |
|
calum
|
8c29d0eb0a
|
C#: Address review comments.
|
2018-10-19 18:13:03 +01:00 |
|
calum
|
aab30ade93
|
C#: Restrict nested locks to static variables, and report the variable itself as well as the lock sequences in order to handle large numbers of results.
|
2018-10-19 18:13:03 +01:00 |
|
calum
|
5864e57398
|
C#: Improvements to LockOrder.ql. Detect inter-procedural locks, and tidy up the tests.
|
2018-10-19 18:11:49 +01:00 |
|
Tom Hvitved
|
42faabc552
|
C#: Rename and restructure control flow graph entities
Follow a naming structure similar to the data flow library:
- `ControlFlowNode` -> `ControlFlow::Node`.
- `CallableEntryNode` -> `ControlFlow::Nodes::EntryNode`.
- `CallableExitNode` -> `ControlFlow::Nodes::ExitNode`.
- `ControlFlowEdgeType` -> `ControlFlow::SuccessorType`.
- `ControlFlowEdgeSuccessor` -> `ControlFlow::SuccessorTypes::NormalSuccessor`.
- `ControlFlowEdgeConditional -> ControlFlow::SuccessorTypes::ConditionalSuccessor`.
- `ControlFlowEdgeBoolean` -> `ControlFlow::SuccessorTypes::BooleanSuccessor`.
- `ControlFlowEdgeNullness` -> `ControlFlow::SuccessorTypes::NullnessSuccessor`.
- `ControlFlowEdgeMatching` -> `ControlFlow::SuccessorTypes::MatchingSuccessor`.
- `ControlFlowEdgeEmptiness` -> `ControlFlow::SuccessorTypes::EmptinessSuccessor`.
- `ControlFlowEdgeReturn` -> `ControlFlow::SuccessorTypes::ReturnSuccessor`.
- `ControlFlowEdgeBreak` -> `ControlFlow::SuccessorTypes::BreakSuccessor`.
- `ControlFlowEdgeContinue` -> `ControlFlow::SuccessorTypes::ContinueSuccessor`.
- `ControlFlowEdgeGotoLabel` -> `ControlFlow::SuccessorTypes::GotoLabelSuccessor`.
- `ControlFlowEdgeGotoCase` -> `ControlFlow::SuccessorTypes::GotoCaseSuccessor`.
- `ControlFlowEdgeGotoDefault` -> `ControlFlow::SuccessorTypes::GotoDefaultSuccessor`.
- `ControlFlowEdgeException` -> `ControlFlow::SuccessorTypes::ExceptionSuccessor`
|
2018-09-05 14:20:26 +02:00 |
|
Pavel Avgustinov
|
b55526aa58
|
QL code and tests for C#/C++/JavaScript.
|
2018-08-02 17:53:23 +01:00 |
|