Geoffrey White
cedfeee6d7
Merge branch 'main' into aliasperf2
2024-10-10 17:25:45 +01:00
Mathias Vorreiter Pedersen
e7da53d838
Merge pull request #17715 from MathiasVP/fopen-taint
...
C++: Add taint through `fopen`
2024-10-10 15:46:46 +01:00
Mathias Vorreiter Pedersen
acac3a06ad
C++: Respond to review comments.
2024-10-09 17:32:37 +01:00
Jeroen Ketema
8352d17e2c
Merge pull request #17693 from jketema/concepts
...
C++: Add a skeleton class for requires expressions
2024-10-09 16:54:33 +02:00
Mathias Vorreiter Pedersen
6965cf7246
C++: Make ql-for-ql happy.
2024-10-09 15:05:13 +01:00
Jeroen Ketema
b087fdecfe
Merge pull request #17678 from MathiasVP/modernize-unclear-array-index-validation
...
C++: Modernize `cpp/unclear-array-index-validation`
2024-10-09 15:55:31 +02:00
Mathias Vorreiter Pedersen
338e82064e
C++: Add a taint model for 'fopen' and accept test changes.
2024-10-09 14:40:26 +01:00
Jeroen Ketema
4d251b96a6
C++: Fix copy&paste error in QLDoc
2024-10-09 11:24:08 +02:00
Jeroen Ketema
723236d15b
C++: Add a skeleton class for requires expressions
2024-10-09 02:16:20 +02:00
Geoffrey White
7ff376b346
Merge branch 'main' into aliasperf2
2024-10-08 15:08:43 +01:00
Geoffrey White
4a131dd8f1
C++: Implement dbartol's suggestion.
2024-10-08 14:44:45 +01:00
Geoffrey White
f9fa52fe77
C++: Disabled the change again.
2024-10-08 14:43:56 +01:00
Mathias Vorreiter Pedersen
f7392d6498
C++: Range analysis of 'getc'.
2024-10-08 10:08:13 +01:00
Jeroen Ketema
ed266dac5f
C++: Address review comments
2024-10-07 22:42:18 +02:00
Jeroen Ketema
b8eb2ab100
C++: Add some documentation on the printed IR
2024-10-04 15:37:22 +02:00
Calum Grant
a9b3c0d91b
C++: Address review comments
2024-10-01 15:47:12 +01:00
Calum Grant
fe00c8819d
C++: Fix formatting
2024-10-01 11:26:47 +01:00
Calum Grant
4712ae1cfc
C++: Use refactored isFirstAllocatorCallArgument()
2024-10-01 11:01:51 +01:00
Calum Grant
4b5aa1497b
C++: Implement Function::hasErrors()
2024-10-01 11:00:44 +01:00
Calum Grant
8045440d00
Update cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-09-26 13:04:52 +01:00
Calum Grant
7f2d485ae9
C++: Update comment
2024-09-26 09:31:43 +01:00
Calum Grant
c2871f4def
Update cpp/ql/lib/semmle/code/cpp/Function.qll
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-09-26 09:31:42 +01:00
Calum Grant
4a14a3cacb
Update cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2024-09-26 09:31:40 +01:00
Calum Grant
31684d2548
C++: Remove FPs in cpp/wrong-number-format-arguments due to BMN
2024-09-26 09:27:59 +01:00
Jeroen Ketema
0520fc2d9f
Merge pull request #17583 from jketema/rm-inline
...
C++: Remove `inline` pragma from sink
2024-09-25 16:30:30 +02:00
Jeroen Ketema
7289476c80
Merge pull request #17576 from jketema/formatting
...
C++: Do not wrap quoted text to the next line
2024-09-25 15:32:16 +02:00
Jeroen Ketema
0ee1383732
C++: Remove inline pragma from sink
2024-09-25 14:04:31 +02:00
Anders Schack-Mulligen
3a1b618a74
Cpp: Replace sink inlining with a forward scan from source.
2024-09-25 10:28:23 +02:00
Jeroen Ketema
29061a08ad
C++: Do not wrap quoted text to the next line
...
Wrapping breaks the highlighting in VSCode, making the QLDoc
difficult to read.
2024-09-25 09:43:05 +02:00
Tom Hvitved
16925355a8
Data flow: Cache TNodeEx
2024-09-24 14:21:39 +02:00
Chuan-kai Lin
1cd8af54f2
Merge pull request #17190 from github/cklin/diff-informed-java-queries
...
Java: add support for alert location restrictions
2024-09-23 08:39:24 -07:00
Anders Schack-Mulligen
3a1e50dcf9
Dataflow: Simplify diff-informed implementation and tweak flag name.
2024-09-20 07:07:10 -07:00
Jeroen Ketema
087a8484aa
Merge pull request #17430 from jketema/fix-finally-inconsistency
...
C++: Fix `__finally` related inconsistencies
2024-09-13 15:27:56 +02:00
Chuan-kai Lin
ff78bebf19
Shared support for alert filtering
2024-09-11 13:18:26 -07:00
Jeroen Ketema
5754f8bac8
C++: Fix __finally related inconsistencies
2024-09-10 20:39:13 +02:00
Ben Rodes
58779e1b90
Merge branch 'main' into brodes/overflow-buffer-fixes-upstream
2024-09-10 13:46:24 -04:00
Jeroen Ketema
5f4fee0780
C++: Address review comments
2024-09-10 14:23:10 +02:00
Jeroen Ketema
500a2a0738
C++: Fix IR inconsistency due to throwing __except block
...
The fix consists of three parts:
* Ensure that an `Unwind` instruction is generated for functions that contain
a Microsoft `__try` statement, or a function that must throw.
* Do not manually introduce `Unwind` instructions for `__except` blocks, but
depend on the `Unwind` that we now insert in the function.
* Add missing `getExceptionSuccessorInstruction` predicate to
`TranslatedMicrosoftTryExceptHandler`
2024-09-10 12:41:43 +02:00
REDMOND\brodes
1005a89007
Updating test cases.
2024-09-05 15:25:23 -04:00
Simon Friis Vindum
5950af390d
Merge pull request #17351 from paldepind/swap-member-data-flow
...
C++: Make swap member functions data-flow functions
2024-09-05 11:39:16 +02:00
Jeroen Ketema
b6e38ff862
Merge pull request #17342 from jketema/coroutine
...
C++: Fix coroutine IR inconsistencies
2024-09-05 10:15:16 +02:00
REDMOND\brodes
77b88afa9e
Removing commented out code and altering comments to explain why the code was removed.
2024-09-04 12:44:36 -04:00
REDMOND\brodes
e4d29905a9
Formatting and updating tests.
2024-09-04 11:16:24 -04:00
REDMOND\brodes
f0eeaaf44e
BufferAccess must be reachable. False positives observed where accesses occur in dead code.
2024-09-04 11:16:23 -04:00
REDMOND\brodes
abd0a076a8
Addressing false positive with strncpy.
2024-09-04 11:16:21 -04:00
REDMOND\brodes
9105375097
Addreessing false positive due to incorrect use of getType
2024-09-04 11:16:19 -04:00
Simon Friis Vindum
f066f21751
C++: Make swap member functions data-flow functions
2024-09-04 13:55:19 +02:00
Erik Krogh Kristensen
4258119ba3
Merge branch 'main' into del-deps-sep-2024
2024-09-04 12:43:41 +02:00
Simon Friis Vindum
04f4039adc
Merge pull request #17354 from paldepind/realloc-data-flow
...
C++: Make realloc a data-flow function
2024-09-04 09:04:12 +02:00
erik-krogh
0fdd06fff5
use my script to delete outdated deprecations
2024-09-03 20:30:58 +02:00
