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

11521 Коммитов

Автор SHA1 Сообщение Дата
Mathias Vorreiter Pedersen 401717d739 C++: Add a missing taint step and accept test changes. 2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen 527409d05f C++: Fix iterator return types and accept test changes. 2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen d3d2e2188d C++: Accept test changes. 2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen 141af7cc87 C++: Subclasses for both 'begin' and 'end'. 2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen 6e3dddede0 C++: Use iterator flow in dataflow. 2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen 683fe26034 C++: Add iterator flow based on dataflow SSA. 2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen ea1b8a3999 C++: Implement 'getAnUltimateDefinition' on SSA definitions. 2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen 5f0efc19fa C++: Accept test changes. 2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen 50775d0c53 C++: Get rid of 'UseImpl' in TSsaDefOrUse so that it now only contains definitions. 2024-04-29 00:02:05 +01:00
Mathias Vorreiter Pedersen 9874d40d29 C++: Make 'getAddressOperand' available on 'DefImpl'. 2024-04-28 23:41:18 +01:00
Mathias Vorreiter Pedersen 044ee9b08a C++: Delete old iterator flow using memory edges. 2024-04-28 23:41:13 +01:00
Mathias Vorreiter Pedersen 3c2206728d
Merge pull request #16333 from MathiasVP/fix-guards-on-pointers 2024-04-26 21:33:08 +01:00
Jeroen Ketema 8c87cb83bb
Merge pull request #16342 from jketema/destructors-cleanup 
C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.
 2024-04-26 22:05:00 +02:00
Mathias Vorreiter Pedersen d18cdee0bc C++: Accept test changes. 2024-04-26 16:19:33 +01:00
Mathias Vorreiter Pedersen b78537dd74 C++: Allow comparisons with pointer types in IRGuards. 2024-04-26 16:19:24 +01:00
Mathias Vorreiter Pedersen e78091e9d0 C++: Sync identical files. 2024-04-26 16:19:02 +01:00
Mathias Vorreiter Pedersen c10e00d389 C++: Add a subclass for constant instructions with pointer type. 2024-04-26 16:18:52 +01:00
Mathias Vorreiter Pedersen bf61114284 C++: Add a test with pointer comparisons and float comparisons. 2024-04-26 16:17:45 +01:00
erik-krogh 800d7546fa
change all the change-notes to breaking 2024-04-26 17:17:23 +02:00
Mathias Vorreiter Pedersen d6c57de650 C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates. 2024-04-26 16:11:19 +01:00
Jeroen Ketema 67fb866efa
C++: Update test results 2024-04-26 16:38:39 +02:00
Mathias Vorreiter Pedersen 4b0a217420
C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'. 2024-04-26 16:25:05 +02:00
Mario Campos 3195f0c828
Use more specific `hasGlobalName()` for stdlib function free(3) 
Based on the CodeQL documentation's example of strncpy(3) and strlen(3): https://codeql.github.com/docs/codeql-language-guides/hash-consing-and-value-numbering/#example-query
 2024-04-26 09:10:40 -05:00
Mathias Vorreiter Pedersen 70e9c48a47 C++: Also implement the predicate in the raw stage. 2024-04-26 13:48:13 +01:00
Mathias Vorreiter Pedersen dcc4ad2550 C++: Sync identical files. 2024-04-26 13:45:15 +01:00
Mathias Vorreiter Pedersen 54cadcfe9b C++: Forward to a cached predicate in a cached module instead of caching the predicate in 'Instruction.qll' to include it in the cached stage of the other predicates. 2024-04-26 13:44:45 +01:00
erik-krogh 14d88eb3ce
add change-notes 2024-04-26 12:56:28 +02:00
erik-krogh 0468c5d0bf
delete some tests of the old GVN library 2024-04-26 07:58:35 +02:00
erik-krogh e55f2c5309
reinroduce `GLobalValueNumbering.qll`, that one was supposed to stay 2024-04-26 06:52:57 +02:00
Mario Campos d7c784ef2f
Initial commit of experimental query cpp/guarded-free. 2024-04-25 16:29:37 -05:00
erik-krogh baa31e1469
delete outdated deprecations 2024-04-25 22:19:28 +02:00
Jeroen Ketema 389df35fb7
Merge branch 'main' into child-stmt 2024-04-25 21:47:06 +02:00
Geoffrey White 553871678a C++: Change note. 2024-04-25 16:52:01 +01:00
Geoffrey White 15123a7b40 C++: Reduce duplication. 2024-04-25 16:49:22 +01:00
Geoffrey White bbd80ec7a4 C++: Add some more test cases. 2024-04-25 16:44:52 +01:00
Geoffrey White 0fb71e24cb C++: Fix typo. 2024-04-25 14:52:56 +01:00
Jeroen Ketema 05819a52ef
C++: Print destructors for children of statements that are again statements 2024-04-25 13:25:42 +02:00
Jeroen Ketema 95ec4e8d26
C++: Fix comment in IR test 2024-04-24 21:47:47 +02:00
Mathias Vorreiter Pedersen 037114b336
Merge pull request #16309 from geoffw0/newtests 
C++: Add test cases
 2024-04-24 10:06:51 +01:00
Geoffrey White 57a53891e9 C++: Effect of recent QL changes. 2024-04-23 18:12:05 +01:00
Geoffrey White b6703bc25c C++: Add test cases inspired by QA results differences. 2024-04-23 18:06:12 +01:00
Mathias Vorreiter Pedersen a39d8b7c7c C++: Ensure that each node type gets mapped to an instruction by 'getAnInstruction'. 2024-04-23 09:44:30 +01:00
Mathias Vorreiter Pedersen 553c09ada3
Merge pull request #16301 from MathiasVP/proper-coroutine-cfg-support-2 
C++: Implement proper coroutine support in IR
 2024-04-23 09:19:15 +01:00
Anders Schack-Mulligen b2f09949df
Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2 
Dataflow: update fieldFlowBranchLimit semantics
 2024-04-23 10:08:05 +02:00
Mathias Vorreiter Pedersen c1755603a8
Update TranslatedExpr.qll 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
 2024-04-23 07:25:25 +01:00
Mathias Vorreiter Pedersen 24cf75a37c C++: Accept test changes. 2024-04-22 21:38:13 +01:00
Mathias Vorreiter Pedersen 8169e7ce68 C++: Add proper translation of 'co_await' and 'co_yield'. 2024-04-22 21:38:13 +01:00
Mathias Vorreiter Pedersen 8383bc1629 C++: Add getters for the other children of 'co_return' and 'co_yield'. 2024-04-22 21:38:13 +01:00
Jeroen Ketema 35d1a9202b
Merge pull request #16298 from jketema/reuse-val 
C++: Update expected test results after extractor changes
 2024-04-22 21:14:42 +02:00
Jeroen Ketema 76637b0d03
C++: Update expected test results 2024-04-22 13:01:10 +02:00
Mathias Vorreiter Pedersen 77a7e007e3 Merge branch 'main' into fix-more-fps-in-iterator-to-expired-container 2024-04-22 10:42:06 +01:00
Jeroen Ketema 19d0d7bbc0
C++: Fix aliased IR test 2024-04-22 11:08:01 +02:00
Jeroen Ketema c5bdd5bbd7
Merge pull request #16289 from jketema/reuse-improve 
C++: Improve handling of re-use expressions
 2024-04-22 10:34:35 +02:00
Jeroen Ketema bcde7151e8
C++: Address review comment 2024-04-22 10:23:03 +02:00
Jeroen Ketema 2c76b13451
C++: Improve handling of re-used qualifier in delete expressions 2024-04-21 16:16:24 +02:00
Mathias Vorreiter Pedersen bcedf687ff
Merge pull request #16246 from MathiasVP/parameter-nodes-for-functions-without-bodies 
C++: Add Parameter nodes for functions without bodies
 2024-04-19 15:54:38 +01:00
Mathias Vorreiter Pedersen ba99d49b61
Merge pull request #16187 from MathiasVP/cfg-for-coroutines 
C++: Placeholder CFG for coroutines
 2024-04-19 11:31:55 +01:00
Mathias Vorreiter Pedersen 4aee6d506d
C++: Accept test changes 2024-04-19 09:17:37 +01:00
Mathias Vorreiter Pedersen cedc84df8f C++: Fix FPs by only having one dataflow config. This means we preserve the call context all the way though from the source to the sink. 2024-04-19 08:27:41 +01:00
Mathias Vorreiter Pedersen 2b9c96d7cc C++: Add testcase. 2024-04-19 08:26:50 +01:00
Mathias Vorreiter Pedersen bcda4a1377 C++: Add change note. 2024-04-18 13:02:56 +01:00
Mathias Vorreiter Pedersen 45b1a5e29b Merge branch 'main' into fix-tostring-on-nodes 2024-04-18 12:48:25 +01:00
Mathias Vorreiter Pedersen 58832a546a C++: Accept test changes. 2024-04-18 12:33:27 +01:00
Mathias Vorreiter Pedersen 9f8c9615fc C++: Use the unconverted expression available for a non-'ExprNode' when one exists. 2024-04-18 12:33:20 +01:00
Mathias Vorreiter Pedersen b43aae18e0 C++: Accept test changes. 2024-04-18 12:01:01 +01:00
Mathias Vorreiter Pedersen 06f52c2854 C++: Make the new nodes parameter nodes. 2024-04-18 12:01:00 +01:00
Mathias Vorreiter Pedersen 98a3f2da7d C++: Add new dataflow nodes for parameters without any Instructions associated with them. 2024-04-18 12:01:00 +01:00
Mathias Vorreiter Pedersen 111ad8b525 C++: Refactor parameter nodes into an abstract class that's easier to extend. 2024-04-18 12:01:00 +01:00
Mathias Vorreiter Pedersen 622f69e1a1
Merge pull request #16238 from MathiasVP/fix-terator-to-expired-container-fp 2024-04-18 10:24:13 +01:00
Mathias Vorreiter Pedersen 43df0cd5f4 C++: Add a failing test. 2024-04-17 21:47:32 +01:00
Mathias Vorreiter Pedersen a1267d732e
Merge pull request #16139 from MathiasVP/enable-sound-ir 
C++: Enable sound IR
 2024-04-17 21:46:51 +01:00
Alexander Eyers-Taylor da3fa22cbd
Merge pull request #16228 from github/post-release-prep/codeql-cli-2.17.1 
Post-release preparation for codeql-cli-2.17.1
 2024-04-17 11:24:34 +01:00
Mathias Vorreiter Pedersen 592ca06159 C++: Accept test changes. 2024-04-17 10:10:54 +01:00
Mathias Vorreiter Pedersen 96ba3ec88e C++: Rename predicate. 2024-04-17 10:10:54 +01:00
Mathias Vorreiter Pedersen eb2790ae63 C++: Fix 'case 2' in 'destroyedToBeginSink' now that we're working with the sink instead of the source. 2024-04-17 10:10:39 +01:00
Mathias Vorreiter Pedersen d22e2bae8e C++: Select the post-update node in 'getADestroyedNode'. 2024-04-17 10:10:39 +01:00
Mathias Vorreiter Pedersen b2974ba1c6 C++: Factor body of `isSink` into its own predicate. 2024-04-17 10:10:21 +01:00
Mathias Vorreiter Pedersen b201fd0bdd
Merge pull request #16232 from MathiasVP/add-iterator-to-expired-container-fp 
C++: Add `cpp/iterator-to-expired-container` FP test
 2024-04-17 09:44:32 +01:00
Mathias Vorreiter Pedersen fdddec74d3 Merge branch 'main' into break-bigstep-at-store 2024-04-16 21:08:33 +01:00
Mathias Vorreiter Pedersen 62299dc95a C++: Add FP test. 2024-04-16 18:19:33 +01:00
Mathias Vorreiter Pedersen 8f82db07d3
Merge pull request #16230 from MathiasVP/fix-join-in-global-use-before-init 
C++: Use interpolation to avoid a bad join order
 2024-04-16 18:17:11 +01:00
Mathias Vorreiter Pedersen ba9267df5b Merge branch 'main' into break-bigstep-at-store 2024-04-16 17:15:58 +01:00
Mathias Vorreiter Pedersen c3cf425079 C++: Use interpolation to avoid a bad join order. 2024-04-16 16:24:08 +01:00
Mathias Vorreiter Pedersen dd656d34be Merge branch 'main' into break-bigstep-at-store 2024-04-16 15:33:21 +01:00
Mathias Vorreiter Pedersen 7155af50be C++: Accept more test changes. 2024-04-16 15:32:24 +01:00
Cornelius Riemenschneider 6ba27dc863 Upgrade rules_pkg to 0.10.1. 2024-04-16 16:29:56 +02:00
github-actions[bot] 622e176a16 Post-release preparation for codeql-cli-2.17.1 2024-04-16 14:21:32 +00:00
Mathias Vorreiter Pedersen 8888ee9fa8
Merge pull request #16149 from codeqlhelper/main 
C++: Improvements to reduce false alarms
 2024-04-16 15:03:31 +01:00
Mathias Vorreiter Pedersen 2627a3dcb7
Merge pull request #15371 from geoffw0/mad 
C++: Implement models-as-data
 2024-04-16 14:33:12 +01:00
Mathias Vorreiter Pedersen e1884c193b C++: Add tests (and fix a missing quote in the alert message). 2024-04-16 14:20:19 +01:00
Mathias Vorreiter Pedersen 6cb5db2387 C++: Improve change note comments. 2024-04-16 13:55:55 +01:00
Mathias Vorreiter Pedersen 439afd97ba C++: Small performance optimization. 2024-04-16 13:54:58 +01:00
Mathias Vorreiter Pedersen 132bb9f1d6 C++: Address (my own) review comments. 2024-04-16 13:53:27 +01:00
Mathias Vorreiter Pedersen fb9fc14f3d C++: Accept test changes in paths. 2024-04-16 11:09:22 +01:00
Mathias Vorreiter Pedersen 8630630c45 C++: Use 'asDefinition' instead of checking for a 'Store' instruction. 2024-04-16 11:00:57 +01:00
Mathias Vorreiter Pedersen 54957d6ea4 Merge branch 'main' into enable-sound-ir 2024-04-16 10:46:59 +01:00
github-actions[bot] 9bfe4ea90a Release preparation for version 2.17.1 2024-04-15 17:34:47 +00:00
Anders Schack-Mulligen 2f0987e980 Dataflow: Add dummy DataFlowSecondLevelScope implementations. 
These could be an empty type, but Unit was available and it probably
doesn't matter.
 2024-04-15 15:16:30 +02:00
Anders Schack-Mulligen db6d27bd2b C++: Count return dispatch based on 2nd level scopes. 2024-04-15 15:13:08 +02:00
Anders Schack-Mulligen 9e39be5aea C++: Update qltest. 2024-04-15 15:13:05 +02:00
Geoffrey White 1c66e26e92 C++: Autoformat. 2024-04-15 09:06:49 +01:00
Mathias Vorreiter Pedersen f3a5ce5efc C++: Accept more test changes. 2024-04-13 11:03:15 +01:00
Mathias Vorreiter Pedersen 6f08790065 C++: Accept test changes. 2024-04-13 01:00:48 +01:00
Mathias Vorreiter Pedersen 2cbc59b7a1 C++: Always show the right-hand side of assignment in paths. 2024-04-13 01:00:38 +01:00
Geoffrey White 9302b167d8 C++: Fix further merge conflicts. 2024-04-12 19:38:38 +01:00
Mathias Vorreiter Pedersen 0bed22178c
Merge pull request #16201 from MathiasVP/add-consistency 
C++: Add new AST consistency check
 2024-04-12 17:46:48 +01:00
Geoffrey White e13b3ed5e7 C++ and Swift: Fix merge conflicts. 2024-04-12 17:30:46 +01:00
Mathias Vorreiter Pedersen aac1070aca C++: Consistent naming. 2024-04-12 17:00:46 +01:00
Mathias Vorreiter Pedersen 413d3abbd7 C++: Add new AST consistency check. 2024-04-12 16:57:19 +01:00
Mathias Vorreiter Pedersen 116664588b
Merge pull request #16125 from MathiasVP/destructors-for-unconditional-unnamed 
C++: Generate IR for destruction of unconditionally constructed temporaries
 2024-04-12 16:26:03 +01:00
Geoffrey White e29ce5f5d5 Merge branch 'main' into mad 2024-04-12 14:30:44 +01:00
Geoffrey White 1df1f0dbc2 C++: Use 'concat' in the variable.ql test. 2024-04-12 14:22:21 +01:00
Geoffrey White 0235e9962e C++: Accept test changes (related to getAQlClass). 2024-04-12 14:19:37 +01:00
Anders Schack-Mulligen c355737d30 C++: Update expected output. 2024-04-12 09:20:16 +02:00
Anders Schack-Mulligen f202661912 C++: Add alert provenance plumbing. 2024-04-12 09:20:06 +02:00
Anders Schack-Mulligen eafc0075fd Legacy dataflow: Sync. 2024-04-12 09:19:54 +02:00
Geoffrey White 13100b19bc C++: Fix unintentionally changing the type of AdditionalCallTarget.viableTarget. 2024-04-11 17:07:20 +01:00
Geoffrey White 66f88d9c71 C++: Restrict the AST cases in TReturnKind. 2024-04-11 16:52:15 +01:00
Mathias Vorreiter Pedersen 477322d21d C++: Accept test changes. 2024-04-11 15:44:44 +01:00
Mathias Vorreiter Pedersen 846eac8be9 C++: Add a placeholder for 'getOpcode'. 2024-04-11 15:44:33 +01:00
Mathias Vorreiter Pedersen 8842b974f0 C++: Accept test changes. 2024-04-11 15:34:34 +01:00
Mathias Vorreiter Pedersen 65b69fe353 C++: Mark 'CoYieldExpr' as a unary expression in IR construction. 2024-04-11 15:34:29 +01:00
Mathias Vorreiter Pedersen 2a914770ea C++: Accept test changes. 2024-04-11 15:27:45 +01:00
Mathias Vorreiter Pedersen d030f0b5d2 C++: Add a placeholder for 'getOpcode'. 2024-04-11 15:27:38 +01:00
Mathias Vorreiter Pedersen 33364a8ab6 C++: Accept test changes. 2024-04-11 14:28:44 +01:00
Mathias Vorreiter Pedersen d8bd18f369 C++: IR translation of 'co_return' statements. 2024-04-11 14:28:15 +01:00
Mathias Vorreiter Pedersen 3e1359b92e C++: Accept test changes. 2024-04-11 13:31:48 +01:00
Mathias Vorreiter Pedersen 4c4d2415e9 C++: Mark 'CoAwaitExpr' as a unary expression in IR construction. 2024-04-11 13:30:33 +01:00
Mathias Vorreiter Pedersen aa94ee5b96 C++: Accept test changes. 2024-04-11 12:27:33 +01:00
Mathias Vorreiter Pedersen 3a18da730e Merge branch 'main' into add-coroutine-tests 2024-04-11 11:59:07 +01:00
Mathias Vorreiter Pedersen 736d59c42d Merge branch 'main' into destructors-for-unconditional-unnamed 2024-04-11 09:53:31 +01:00
Mathias Vorreiter Pedersen 5c4e02a1da Merge branch 'main' into enable-sound-ir 2024-04-10 23:56:16 +01:00
Mathias Vorreiter Pedersen 313501aa29 C++: Delete a noisy test that's not very helpful. 2024-04-10 18:54:50 +01:00
Mathias Vorreiter Pedersen 21bc8c4324 C++: Accept test changes. 2024-04-10 18:32:15 +01:00
Geoffrey White 19b14e166d C++: Reduce code duplication. 2024-04-10 17:44:55 +01:00
Mathias Vorreiter Pedersen 3d96206783 Merge branch 'main' into enable-sound-ir 2024-04-10 17:39:13 +01:00
Mathias Vorreiter Pedersen 7172e2f445 Merge branch 'main' into destructors-for-unconditional-unnamed 2024-04-10 17:34:08 +01:00
Geoffrey White 959300f963 C++: Fixes for internals that are now private. 2024-04-10 17:32:10 +01:00
Geoffrey White 41ce4ffe4b C++: Fix some QLDoc holes. 2024-04-10 17:21:48 +01:00
Geoffrey White eca112c3bc C++: More autoformatting. 2024-04-10 17:21:05 +01:00
Geoffrey White dd96095a30
Apply suggestions from code review 
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
 2024-04-10 17:20:35 +01:00
Mathias Vorreiter Pedersen 33f6b6a940
Merge pull request #16175 from MathiasVP/more-iterator-models 
C++: Add alias and side-effect models for more iterator functions
 2024-04-10 16:55:10 +01:00
Jeroen Ketema b9b2aa3580
Merge pull request #16138 from jketema/coroutine3 
C++: Update expected test results
 2024-04-10 17:48:48 +02:00
Geoffrey White 925ee825ff C++: Add change notes. 2024-04-10 15:18:43 +01:00
Mathias Vorreiter Pedersen 0ed0731024 C++: Reduce comment duplication. 2024-04-10 15:04:29 +01:00
Geoffrey White 36db493723 C++: Autoformat. 2024-04-10 15:02:19 +01:00
Geoffrey White cbab24ba45 C++: Sort Models.qll. 2024-04-10 14:59:13 +01:00
Geoffrey White e0f866f19d Merge branch 'main' into mad 2024-04-10 14:58:52 +01:00
Mathias Vorreiter Pedersen 9c9ed13ede C++: More comments. 2024-04-10 14:57:40 +01:00
Mathias Vorreiter Pedersen 1ae22d0781 C++: Improve comment based on PR feedback. 2024-04-10 14:55:29 +01:00
Mathias Vorreiter Pedersen a7c98e3d94 C++: Accept test changes. 2024-04-10 14:19:06 +01:00
Mathias Vorreiter Pedersen d98ed2d3cf C++: Add alias and side effect models for more iterator functions. 2024-04-10 14:19:06 +01:00
Mathias Vorreiter Pedersen 59936c8642
Merge pull request #16151 from MathiasVP/use-shared-typeflow-lib 
C++: Use the shared typeflow library
 2024-04-10 12:02:03 +01:00
Geoffrey White 138975e4a8 C++: Add ZMQ summary models. 2024-04-09 18:10:15 +01:00
Geoffrey White 783ce48538 C++: Add test cases for ZMQ summary models. 2024-04-09 18:08:56 +01:00
Mathias Vorreiter Pedersen 8a92a4250f C++: Autoformat. 2024-04-09 17:53:33 +01:00
Mathias Vorreiter Pedersen a53ef495ee C++: Simplify 'hasExactBufferType' and add comments. 2024-04-09 16:04:20 +01:00
Mathias Vorreiter Pedersen 291cc0a671 C++: Anonymous namespaces provide internal linkage. 2024-04-09 15:25:13 +01:00
Mathias Vorreiter Pedersen 2a7420ce11
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TypeFlow.qll 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
 2024-04-09 15:00:23 +01:00
Geoffrey White 1264e6e292 C++: Fit the function pointer tests better with what is and isn't working. 2024-04-09 14:57:15 +01:00
Jeroen Ketema 46c44b4dc0
C++: Update QLDoc of `IRDeclarationEntry` to reflect current reality 2024-04-09 15:15:41 +02:00
Jeroen Ketema e821a62b44
C++: Update expected test results 2024-04-09 15:15:41 +02:00
Mathias Vorreiter Pedersen e9cd2dc9e1 C++: Implement 'lambdaCreation' and 'lambdaCall' for models-as-data. 2024-04-09 14:05:32 +01:00
Geoffrey White 4d5f158652 C++: Pivot ReturnKind solution to derive types from SSA + AST, rather than SSA + MAD. 2024-04-09 13:49:21 +01:00
Geoffrey White 13734d4e62 C++: Improve indirectionForModelledFunction. 2024-04-09 12:06:03 +01:00
Geoffrey White 70bb29581d C++: Test failures. 2024-04-09 11:53:33 +01:00
Mathias Vorreiter Pedersen 448a9015c0 C++: Compute the number of indirections from MaD using a new predicate. 2024-04-09 10:33:06 +01:00
Mathias Vorreiter Pedersen 21592563cb C++: Define 'ReturnKind's in terms of SSA instead of 'Function'. 2024-04-09 10:32:31 +01:00
Mathias Vorreiter Pedersen c325a79206 C++: Ensure 'isConditionalTemporaryDestructorCall' only holds when the reused expression is a temporary. 2024-04-09 09:32:54 +01:00
Mathias Vorreiter Pedersen 17c8fa3e84
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
 2024-04-09 09:27:44 +01:00
Mathias Vorreiter Pedersen 386580fc94 C++: Accept test changes. 2024-04-08 21:26:12 +01:00
Mathias Vorreiter Pedersen b2002a981a C++: Use the shared typeflow library to determine whether a pointer points to a buffer or an object. 2024-04-08 21:25:05 +01:00
Mathias Vorreiter Pedersen c389611e5c C++: Add spurious dataflow test. 2024-04-08 21:24:59 +01:00
codeqlhelper@gmail.com 334c0d0449 ... 2024-04-09 02:06:06 +08:00
codeqlhelper fc26e148fd
Create 2024-04-09-reduce-FP.md 2024-04-09 02:00:52 +08:00
Geoffrey White e3ce7c608b C++: Fix indirection ambiguity in the test. 2024-04-08 18:27:51 +01:00
Geoffrey White 087d689997 C++: Additional test cases. 2024-04-08 18:18:30 +01:00
codeqlhelper af2a7eadc3
Reduce false alarms of `InconsistentNullnessTesting.ql` 
We should ignore `checked` in a macro to avoid too many false alarms,
 2024-04-09 00:07:40 +08:00
codeqlhelper fb15a4ea11
Reduce the false alarms of `GlobalUseBeforeInit.ql` 2024-04-09 00:03:05 +08:00
Geoffrey White c0c1ab7006 C++: Fix code scanning warnings. 2024-04-08 16:05:55 +01:00
Geoffrey White 06d369ba11 C++: Remove untested PostUpdateNode code for now, and field cases that don't work anyway. 2024-04-08 16:05:18 +01:00
Geoffrey White b2b2c2016c C++: Update more QLDoc. 2024-04-08 16:04:23 +01:00
Mathias Vorreiter Pedersen 4fa53b63ae Merge branch 'main' into destructors-for-unconditional-unnamed 2024-04-08 15:42:35 +01:00
Mathias Vorreiter Pedersen 9c25ce4079 C++: Add testcase with two destructor calls without a temporary object expression at the top-level. 2024-04-08 15:35:33 +01:00
Mathias Vorreiter Pedersen b581a9ba04 C++: Add example with missing destructor calls on parameters passed by value. 2024-04-08 13:49:05 +01:00
Mathias Vorreiter Pedersen febd06063a C++: Add testcase where two destructor calls are remapped to a temporary object expression. 2024-04-08 13:03:51 +01:00
Geoffrey White ec515f967d C++: Update QLDoc. 2024-04-08 11:57:35 +01:00
Mathias Vorreiter Pedersen 9917c3c5ba C++: Add change note. 2024-04-08 10:10:31 +01:00
Mathias Vorreiter Pedersen fae002fbb7 C++: Accept test changes. 2024-04-08 10:10:31 +01:00
Mathias Vorreiter Pedersen 4831ee65b6 C++: Enable sound IR. 2024-04-08 10:10:31 +01:00
Mathias Vorreiter Pedersen d40fa4cfba C++: Accept test changes. 2024-04-07 15:50:16 +01:00
Mathias Vorreiter Pedersen 8a6a60e59b C++: Also handle destructor calls on converted expressions in PrintAST. 2024-04-07 15:49:50 +01:00
Mathias Vorreiter Pedersen fcd0e9999c C++: Accept test changes. 2024-04-07 15:49:27 +01:00
Mathias Vorreiter Pedersen 89eaadd76f C++: Move destructor calls from expressions with a temporary object conversion to the temporary object conversion. 2024-04-07 15:48:38 +01:00
Mathias Vorreiter Pedersen a0de95dc44 C++: Add testcases that produces an 'missingOperandType' and 'missingPhiOperand' consistency errors. 2024-04-07 14:26:30 +01:00
Mathias Vorreiter Pedersen 557555eb71 C++: Make Code Scanning happy. 2024-04-05 19:03:03 +01:00
Mathias Vorreiter Pedersen 777755a241 C++: Add alias models for 'fopen'. 2024-04-05 19:02:23 +01:00
Mathias Vorreiter Pedersen 45e71543b4 C++: Accept test changes. 2024-04-05 18:08:25 +01:00
Mathias Vorreiter Pedersen 54e4103e71 C++: Fix another multiple parents problem. 2024-04-05 18:07:53 +01:00
Mathias Vorreiter Pedersen 955f9c735c C++: Add a failing testcase. 2024-04-05 18:05:30 +01:00