File tree Expand file tree Collapse file tree 2 files changed +12
-0
lines changed
cpp/ql/test/library-tests/dataflow/taint-tests Expand file tree Collapse file tree 2 files changed +12
-0
lines changed Original file line number Diff line number Diff line change @@ -6676,6 +6676,7 @@ WARNING: Module TaintTracking has been deprecated and may be removed in future (
66766676| taint.cpp:757:7:757:10 | path | taint.cpp:759:8:759:11 | path | |
66776677| taint.cpp:758:21:758:24 | ref arg path | taint.cpp:759:8:759:11 | path | |
66786678| taint.cpp:759:8:759:11 | path | taint.cpp:759:7:759:11 | * ... | |
6679+ | taint.cpp:769:37:769:42 | call to source | taint.cpp:770:7:770:9 | obj | |
66796680| vector.cpp:16:43:16:49 | source1 | vector.cpp:17:26:17:32 | source1 | |
66806681| vector.cpp:16:43:16:49 | source1 | vector.cpp:31:38:31:44 | source1 | |
66816682| vector.cpp:17:21:17:33 | call to vector | vector.cpp:19:14:19:14 | v | |
Original file line number Diff line number Diff line change @@ -757,4 +757,15 @@ void test_call_sprintf() {
757757 char path[10 ];
758758 call_sprintf_twice (path, indirect_source ());
759759 sink (*path); // $ ast,ir
760+ }
761+
762+ struct TaintInheritingContentObject {
763+ int flowFromObject;
764+ };
765+
766+ TaintInheritingContentObject source (bool );
767+
768+ void test_TaintInheritingContent () {
769+ TaintInheritingContentObject obj = source (true );
770+ sink (obj.flowFromObject ); // $ ir MISSING: ast
760771}
You can’t perform that action at this time.
0 commit comments