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 (
6676
6676
| taint.cpp:757:7:757:10 | path | taint.cpp:759:8:759:11 | path | |
6677
6677
| taint.cpp:758:21:758:24 | ref arg path | taint.cpp:759:8:759:11 | path | |
6678
6678
| 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 | |
6679
6680
| vector.cpp:16:43:16:49 | source1 | vector.cpp:17:26:17:32 | source1 | |
6680
6681
| vector.cpp:16:43:16:49 | source1 | vector.cpp:31:38:31:44 | source1 | |
6681
6682
| 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() {
757
757
char path[10 ];
758
758
call_sprintf_twice (path, indirect_source ());
759
759
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
760
771
}
You can’t perform that action at this time.
0 commit comments