github
/
codeql
зеркало из https://github.com/github/codeql.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
61 816 коммитов 1 573 Ветки 135 Теги 540 MiB
Граф коммитов

10622 Коммитов

Автор SHA1 Сообщение Дата
Anders Schack-Mulligen 6b178fb64a Rangeanalysis: Preparatory refactor for bounds sharing. 2023-12-11 14:07:10 +01:00
Geoffrey White 17cd22f9d0
Merge pull request #14972 from geoffw0/cryptoprimitives 
C++: Experimental query for implementation of a cryptographic primitive
 2023-12-11 09:47:46 +00:00
Jeroen Ketema db6b1e5f5e
Merge pull request #14912 from jketema/dep-userinput 
C++: Deprecate `isUserInput`, `userInputArgument`, and `userInputReturned`
 2023-12-08 15:04:23 +01:00
Anders Schack-Mulligen 64eb4ff753
Merge pull request #14983 from aschackmull/dataflow/deprecate-old-api 
Data Flow: Deprecate old data flow api.
 2023-12-08 14:27:25 +01:00
Jeroen Ketema c6b0a2363a
C++: Add change note 2023-12-08 13:31:32 +01:00
Jeroen Ketema 5165999e9e
C++: Deprecate `isUserInput`, `userInputArgument`, and `userInputReturned` 2023-12-08 13:21:31 +01:00
Mathias Vorreiter Pedersen 7b83947383 Merge branch 'main' into fewer-dataflow-branches 2023-12-08 09:30:01 +00:00
Mathias Vorreiter Pedersen 1c73d43b4f C++: Accept more test changes. 2023-12-08 09:29:48 +00:00
Jeroen Ketema 9a555ba16e
Merge pull request #14909 from jketema/rm-dtt 
C++: Remove `DefaultTaintTracking` library
 2023-12-08 10:08:55 +01:00
Mathias Vorreiter Pedersen e648058d30 C++: Accept test changes. 2023-12-07 23:11:28 +00:00
Mathias Vorreiter Pedersen d6871c7cf9 C++: Merge 'PostUpdateFieldNode' and 'IndirectArgumentOutNode' into a single IPA branch. 2023-12-07 23:11:28 +00:00
Anders Schack-Mulligen 9fafa973d8 C++: Remove irrelevant test. 2023-12-07 14:13:42 +01:00
Jeroen Ketema af1da1e9ae
C++: Also support the `__noreturn__` attribute in `exits` 
Observed this attribute while working on coding standards test regression
when replacing Guards by IRGuards.
 2023-12-06 18:08:39 +01:00
Jeroen Ketema edf178696d
C++: accept test changes for IR Guards replacement 2023-12-06 12:47:20 +01:00
Robert Marsh 88073a5fb2
C++: change note for IRGuards replacing Guards 2023-12-06 12:47:20 +01:00
Robert Marsh 172445f5e7
C++: replace Guards with IRGuards 2023-12-06 12:47:20 +01:00
Jeroen Ketema db1dc6fa2c
Merge pull request #15021 from jketema/ir-guards-unreached-fix 
C++: Fix handling of unreached instructions in IRGuards
 2023-12-06 12:46:09 +01:00
Mathias Vorreiter Pedersen 9fa20f5f39
Merge pull request #14799 from MathiasVP/solve-modify-copy-problem 
DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation
 2023-12-06 09:55:34 +00:00
Jeroen Ketema 4390e4cad3
C++: Fix handling of unreached instructions in IRGuards 2023-12-06 10:23:27 +01:00
Jeroen Ketema d6e30cd828
C++: Add test showing unreachable instructions give spurious blocks in IRGuards 2023-12-06 10:23:27 +01:00
Jeroen Ketema 49a4306514
Merge pull request #15015 from jketema/exit 
C++: Add `_Exit` to the list of exiting (non-returning) functions
 2023-12-06 10:07:55 +01:00
Nora Dimitrijević 66c0a4af5a Upgrade/downgrade script 2023-12-05 22:03:40 +01:00
Nora Dimitrijević 0307354d6e Relax the C++ dbscheme for link_targets/2 2023-12-05 22:03:40 +01:00
Jeroen Ketema 696cbeae5c
C++: Add `_Exit` to the list of exiting (non-returning) functions 2023-12-05 20:33:43 +01:00
Geoffrey White 521d98ed8d C++: Make the encryption words a tiny bit more flexible. 2023-12-05 18:03:17 +00:00
Geoffrey White e95098f61f C++: Add 'experimental' tag. 2023-12-05 18:03:11 +00:00
Geoffrey White cde975dc24 C++: Add even more test cases. 2023-12-05 18:02:51 +00:00
Geoffrey White 2f0be40f37 C++: Exclude results in some common libraries. 2023-12-05 18:00:00 +00:00
Geoffrey White 965d131b5a C++: Add more test cases. 2023-12-05 17:59:26 +00:00
Geoffrey White fb02e996d4 C++: Address QL-for-QL comments. 2023-12-05 17:58:35 +00:00
Geoffrey White c83cfe4936 C++: Make output clearer in cases where the function name is a macro expansion (I've seen this more than once). 2023-12-05 17:58:22 +00:00
Geoffrey White 3c6f318cb2 C++: Add query tests. 2023-12-05 17:54:50 +00:00
Jeroen Ketema 30e5e74a78
Merge pull request #15005 from jketema/ir-guards-ternary-fix 
C++: Fix IRGuards ternary behaviour
 2023-12-05 15:04:56 +01:00
Mathias Vorreiter Pedersen 8ce4bbec33
Merge pull request #14867 from MathiasVP/reduce-duplication-from-operators 
C++: Reduce duplication from crement operations
 2023-12-05 11:57:48 +00:00
Jeroen Ketema 4d702e2eee
C++: Fix IRGuards ternary behaviour 2023-12-05 12:17:46 +01:00
Jeroen Ketema d84961571b
C++: Add IRGuards test that shows that ternary behaviour is not quite correct 2023-12-05 12:16:01 +01:00
Mathias Vorreiter Pedersen 2908acfb52
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
 2023-12-05 11:00:17 +00:00
Mathias Vorreiter Pedersen db0d203eb4 Merge branch 'main' into solve-modify-copy-problem 2023-12-05 09:43:17 +00:00
Mathias Vorreiter Pedersen a8020f4f78 C++: Add barrier to prevent duplication. 2023-12-05 09:14:23 +00:00
Jeroen Ketema 7f1bd499ce
C++: Add test annotation 2023-12-04 17:53:08 +01:00
Mathias Vorreiter Pedersen d9d36ff213 C++: Fix Code Scanning errors. 2023-12-04 16:53:03 +00:00
Mathias Vorreiter Pedersen 03b77dbf2a C++: Make 'node.asExpr()' behave as 'node.asDefinition()' in void contexts. 2023-12-04 16:38:13 +00:00
Jeroen Ketema 3e2397a3d1
C++: Fix `chmod` prototype in toctou test and additional test 2023-12-04 16:15:44 +01:00
Anders Schack-Mulligen 67f0529cda Dataflow: Sync. 2023-12-04 12:36:57 +01:00
Mathias Vorreiter Pedersen 359b15bb60 C++: Fix FP by special-casing compound assignments in 'asExprInternal'. 2023-12-04 11:29:51 +00:00
Mathias Vorreiter Pedersen ce28c9b485 C++: Add more CWE-119 testcases with compound assignments instead of increments. 2023-12-04 11:22:16 +00:00
Mathias Vorreiter Pedersen 60204574b6
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
 2023-12-04 10:35:07 +00:00
Mathias Vorreiter Pedersen 1198d23b96
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
 2023-12-04 10:35:00 +00:00
Mathias Vorreiter Pedersen 5a12a0ad62
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
 2023-12-04 10:34:46 +00:00
Mathias Vorreiter Pedersen 09117d3869
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
 2023-12-04 10:34:32 +00:00