Merge branch 'main' of github.com:PLSysSec/cargo-scan

Author: lzoghbi

data/results/test_all.csv

@@ -42,7 +42,6 @@ fns_closures, fns_closures::closure_effects::return_file_reader_2, std::fs::read
 fns_closures, fns_closures::closure_effects::return_file_reader_2, CLOSURE::data::test_packages::fns_closures::src::closure_effects::9::4, [ClosureCreation], data/test-packages/fns-closures/src, closure_effects.rs, 9, 4
 fns_closures, fns_closures::closure_effects::main, std::path::Path::new, std::path, data/test-packages/fns-closures/src, closure_effects.rs, 14, 12
 fns_closures, fns_closures::consts::terrible_code_execution_attack, std::process::Command::new, std::process, data/test-packages/fns-closures/src, consts.rs, 40, 4
-fns_closures, fns_closures::unsafe_fn_pointers::bar, fns_closures::unsafe_fn_pointers::foo, [FnPtrCreation], data/test-packages/fns-closures/src, unsafe_fn_pointers.rs, 10, 4
 libc_ex, libc_ex::main, libc::unix::sysconf, [FFI Call], data/test-packages/libc-ex/src, main.rs, 6, 8
 libc_ex, libc_ex::main, libc::sysctlbyname, libc, data/test-packages/libc-ex/src, main.rs, 8, 8
 num_cpus_minimal, num_cpus_minimal::get_num_cpus, libc::unix::sysconf, [FFI Call], data/test-packages/num_cpus_minimal/src, main.rs, 13, 24
@@ -57,8 +56,6 @@ recursion_ex, recursion_ex::effect1, std::process::new, std::process, data/test-
 recursion_ex, recursion_ex::effect1, std::process::output, std::process, data/test-packages/recursion-ex/src, main.rs, 4, 31
 recursion_ex, recursion_ex::effect2, std::process::new, std::process, data/test-packages/recursion-ex/src, main.rs, 8, 12
 recursion_ex, recursion_ex::effect2, std::process::output, std::process, data/test-packages/recursion-ex/src, main.rs, 8, 36
-resolution_ex, resolution_ex::type_resolution_examples::test_cases, alloc::vec::push, [FnPtrCreation], data/test-packages/resolution-ex/src, main.rs, 85, 28
-resolution_ex, resolution_ex::type_resolution_examples::test_cases, core::slice::reverse, [FnPtrCreation], data/test-packages/resolution-ex/src, main.rs, 86, 36
 toy_crates, toy_crates::rustc_version::version_meta_for_command, std::process::arg, std::process, data/test-packages/toy-crates/src, rustc_version.rs, 11, 18
 toy_crates, toy_crates::rustc_version::version_meta_for_command, std::process::output, std::process, data/test-packages/toy-crates/src, rustc_version.rs, 11, 29
 toy_crates, toy_crates::rustc_version::version_meta, std::env::var_os, std::env, data/test-packages/toy-crates/src, rustc_version.rs, 16, 14

data/results/test_metadata.csv

@@ -5,7 +5,7 @@ dependency-ex, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 18, 23
 dependency-parent, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 11, 13
 dummy, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 103
 ffi-ex, 16, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 17, 16, 16, 16, 49, 118
-fns-closures, 7, 9, 9, 0, 0, 5, 5, 0, 0, 0, 0, 0, 0, 0, 0, 7, 3, 5, 6, 20, 136
+fns-closures, 6, 9, 9, 0, 0, 5, 5, 0, 0, 0, 0, 0, 0, 0, 0, 7, 3, 5, 4, 12, 136
 fnv_minimal, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 135
 inline-ex, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 13
 libc-ex, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 2, 1, 12, 15
@@ -14,7 +14,7 @@ num_cpus_minimal, 2, 3, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 2, 24, 3
 parsing-ex, 0, 7, 13, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 3, 0, 0, 0, 0, 146
 permissions-ex, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 10, 3, 10, 17
 recursion-ex, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 4, 6, 17, 29
-resolution-ex, 2, 2, 2, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 3, 0, 0, 1, 55, 124
+resolution-ex, 0, 2, 2, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 3, 0, 0, 0, 0, 124
 toy-crates, 15, 2, 2, 4, 33, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 13, 6, 19, 7, 44, 285
 trait-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 0, 27
 unsafe-test, 14, 12, 12, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 3, 3, 14, 5, 58, 119

data/results/test_patterns.csv

@@ -1,20 +1,20 @@
-crate, [ClosureCreation], [FFI Call], [FFI Declaration], [FnPtrCreation], [PtrDeref], [StaticExtVar], [StaticMutVar], [UnionField], [UnsafeCall], libc, std::env, std::ffi, std::fs, std::io, std::net, std::path, std::process
-caller-checked, 0, 4, 0, 0, 1, 0, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 0
-cfg-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 0
-dependency-ex, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0
-dependency-parent, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-dummy, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-ffi-ex, 0, 0, 16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-fns-closures, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 1
-fnv_minimal, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-inline-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-libc-ex, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0
-macro_test, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-num_cpus_minimal, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0
-parsing-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-permissions-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 4
-recursion-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4
-resolution-ex, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-toy-crates, 1, 0, 0, 0, 1, 0, 0, 0, 6, 0, 1, 1, 0, 0, 2, 0, 3
-trait-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
-unsafe-test, 0, 2, 1, 0, 2, 1, 1, 3, 1, 0, 0, 0, 2, 1, 0, 0, 0
+crate, [ClosureCreation], [FFI Call], [FFI Declaration], [PtrDeref], [StaticExtVar], [StaticMutVar], [UnionField], [UnsafeCall], libc, std::env, std::ffi, std::fs, std::io, std::net, std::path, std::process
+caller-checked, 0, 4, 0, 1, 0, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 0
+cfg-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 0
+dependency-ex, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0
+dependency-parent, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+dummy, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+ffi-ex, 0, 0, 16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+fns-closures, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 1, 1
+fnv_minimal, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+inline-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+libc-ex, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0
+macro_test, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+num_cpus_minimal, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0
+parsing-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+permissions-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 4
+recursion-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4
+resolution-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+toy-crates, 1, 0, 0, 1, 0, 0, 0, 6, 0, 1, 1, 0, 0, 2, 0, 3
+trait-ex, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+unsafe-test, 0, 2, 1, 2, 1, 1, 3, 1, 0, 0, 0, 2, 1, 0, 0, 0

data/results/test_summary.csv

@@ -3,12 +3,11 @@ ffi-ex, 16
 caller-checked, 15
 toy-crates, 15
 unsafe-test, 14
-fns-closures, 7
+fns-closures, 6
 permissions-ex, 6
 recursion-ex, 4
 cfg-ex, 3
 dependency-ex, 2
 libc-ex, 2
 num_cpus_minimal, 2
-resolution-ex, 2
 dependency-parent, 1