flowproof 0.12.2__tar.gz → 0.14.0__tar.gz

{flowproof-0.12.2 → flowproof-0.14.0}/Cargo.lock

@@ -760,7 +760,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-adapters"
-version = "0.12.2"
+version = "0.14.0"
 dependencies = [
  "anyhow",
  "flowproof-driver",
@@ -779,7 +779,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-agent"
-version = "0.12.2"
+version = "0.14.0"
 dependencies = [
  "chrono",
  "flowproof-driver",
@@ -796,7 +796,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-cli"
-version = "0.12.2"
+version = "0.14.0"
 dependencies = [
  "ab_glyph",
  "chrono",
@@ -817,7 +817,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-driver"
-version = "0.12.2"
+version = "0.14.0"
 dependencies = [
  "image",
  "postgres",
@@ -831,7 +831,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-python"
-version = "0.12.2"
+version = "0.14.0"
 dependencies = [
  "flowproof-agent",
  "flowproof-cli",
@@ -843,7 +843,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-replay"
-version = "0.12.2"
+version = "0.14.0"
 dependencies = [
  "chrono",
  "flowproof-agent",
@@ -857,7 +857,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-trace"
-version = "0.12.2"
+version = "0.14.0"
 dependencies = [
  "jsonschema",
  "regex",

{flowproof-0.12.2 → flowproof-0.14.0}/Cargo.toml

@@ -22,7 +22,7 @@ members = ["crates/flowproof-driver", "crates/flowproof-trace", "crates/flowproo
 exclude = ["spike/windows-containment"]
 
 [workspace.package]
-version = "0.12.2"
+version = "0.14.0"
 edition = "2021"
 license = "Apache-2.0"
 repository = "https://github.com/automators-com/flowproof"

{flowproof-0.12.2 → flowproof-0.14.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: flowproof
-Version: 0.12.2
+Version: 0.14.0
 Classifier: Development Status :: 2 - Pre-Alpha
 Classifier: Intended Audience :: Developers
 Classifier: Programming Language :: Python :: 3

{flowproof-0.12.2 → flowproof-0.14.0}/crates/flowproof-adapters/src/egress_linux.rs

@@ -1465,6 +1465,12 @@ fn notif_id_valid(fd: RawFd, id: u64) -> bool {
 }
 
 /// Extract `(msg_name, msg_namelen, msg_controllen)` from a raw msghdr copy.
+// `msg_controllen` is not the same type on every Linux target: `size_t` under
+// glibc, `socklen_t` under uclibc/arm and l4re. Clippy only ever sees the
+// target it is running on, so on x86_64-gnu it calls the cast redundant. It is
+// load-bearing everywhere else - libc writes the same `as usize` in its own
+// portable CMSG helpers. Removing it breaks those targets.
+#[allow(clippy::unnecessary_cast)]
 fn msghdr_fields(hdr: &[u8]) -> (u64, u32, usize) {
     let msg: libc::msghdr =
         unsafe { std::ptr::read_unaligned(hdr.as_ptr() as *const libc::msghdr) };
@@ -1476,6 +1482,9 @@ fn msghdr_fields(hdr: &[u8]) -> (u64, u32, usize) {
 }
 
 /// Extract `(msg_iov ptr, msg_iovlen)` from a raw msghdr copy.
+// Same story as `msghdr_fields`: `msg_iovlen` is `size_t` under glibc and
+// `c_int` under uclibc/arm, uclibc/mips32, l4re and emscripten.
+#[allow(clippy::unnecessary_cast)]
 fn msghdr_iov(hdr: &[u8]) -> (u64, usize) {
     let msg: libc::msghdr =
         unsafe { std::ptr::read_unaligned(hdr.as_ptr() as *const libc::msghdr) };