From e5f48aab7b8c795334ee5ae06051e5a9a69aabc4 Mon Sep 17 00:00:00 2001
From: Alex Birman <abdev@fastmail.com>
Date: Fri, 15 Sep 2023 16:29:21 -0700
Subject: [PATCH 1/3] added SPDX license identifiers

---
 add_license.bash          | 7 +++++++
 copyright.txt             | 1 +
 src/alloc.rs              | 1 +
 src/analysis.rs           | 1 +
 src/analysis/callgraph.rs | 1 +
 src/analysis/int.rs       | 1 +
 src/analysis/pointer.rs   | 1 +
 src/arc.rs                | 1 +
 src/arc/cached.rs         | 1 +
 src/arc/precomputed.rs    | 1 +
 src/arc/uarc.rs           | 1 +
 src/bin/int.rs            | 1 +
 src/cli.rs                | 1 +
 src/hash.rs               | 1 +
 src/hash/cached.rs        | 1 +
 src/hash/precomputed.rs   | 1 +
 src/hash/prehashed.rs     | 1 +
 src/hash/ref.rs           | 1 +
 src/klimited.rs           | 1 +
 src/lattice.rs            | 1 +
 src/layers.rs             | 1 +
 src/layers/counts.rs      | 1 +
 src/layers/nanos.rs       | 1 +
 src/lib.rs                | 1 +
 src/llvm.rs               | 1 +
 src/llvm/constant.rs      | 1 +
 src/llvm/error.rs         | 1 +
 src/llvm/instruction.rs   | 1 +
 src/llvm/name.rs          | 1 +
 src/llvm/operand.rs       | 1 +
 src/llvm/terminator.rs    | 1 +
 src/main.rs               | 1 +
 src/signatures.rs         | 1 +
 src/union.rs              | 1 +
 34 files changed, 40 insertions(+)
 create mode 100755 add_license.bash
 create mode 100644 copyright.txt

diff --git a/add_license.bash b/add_license.bash
new file mode 100755
index 0000000..69cc3d8
--- /dev/null
+++ b/add_license.bash
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+for i in src/*.rs src/*/*.rs
+do
+  cat copyright.txt $i >$i.new && mv $i.new $i
+done
+
diff --git a/copyright.txt b/copyright.txt
new file mode 100644
index 0000000..1715078
--- /dev/null
+++ b/copyright.txt
@@ -0,0 +1 @@
+// SPDX-License-Identifier:i BSD-3-Clause
diff --git a/src/alloc.rs b/src/alloc.rs
index f099cb0..3716bd4 100644
--- a/src/alloc.rs
+++ b/src/alloc.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 // TODO: Heap cloning, with two optimizations:
 //
 // - Stack allocations with non-pointer-containing types need not have contexts
diff --git a/src/analysis.rs b/src/analysis.rs
index e2422d2..da432cf 100644
--- a/src/analysis.rs
+++ b/src/analysis.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 pub mod callgraph;
 pub use callgraph::*;
 pub mod int;
diff --git a/src/analysis/callgraph.rs b/src/analysis/callgraph.rs
index 002117b..c713c2c 100644
--- a/src/analysis/callgraph.rs
+++ b/src/analysis/callgraph.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 //! Callgraph analysis
 //!
 //! TODO:
diff --git a/src/analysis/int.rs b/src/analysis/int.rs
index cdc7c01..11d473e 100644
--- a/src/analysis/int.rs
+++ b/src/analysis/int.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 //! Integer analysis
 
 use std::collections::HashMap;
diff --git a/src/analysis/pointer.rs b/src/analysis/pointer.rs
index d19bfe7..bf4a516 100644
--- a/src/analysis/pointer.rs
+++ b/src/analysis/pointer.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 // TODO: Handle global aliases
 use std::collections::{HashMap, HashSet};
 
diff --git a/src/arc.rs b/src/arc.rs
index 57d5bbd..bbdee05 100644
--- a/src/arc.rs
+++ b/src/arc.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 #[cfg(not(feature = "precompute"))]
 mod cached;
 #[cfg(not(feature = "precompute"))]
diff --git a/src/arc/cached.rs b/src/arc/cached.rs
index ba879e6..80703f3 100644
--- a/src/arc/cached.rs
+++ b/src/arc/cached.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 use std::ops::Deref;
diff --git a/src/arc/precomputed.rs b/src/arc/precomputed.rs
index b4810eb..92b61bd 100644
--- a/src/arc/precomputed.rs
+++ b/src/arc/precomputed.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 use std::ops::Deref;
diff --git a/src/arc/uarc.rs b/src/arc/uarc.rs
index 873b91e..492b2b8 100644
--- a/src/arc/uarc.rs
+++ b/src/arc/uarc.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::fmt::Display;
 use std::hash::Hash;
 use std::ptr;
diff --git a/src/bin/int.rs b/src/bin/int.rs
index 9f59a88..3bf1b1a 100644
--- a/src/bin/int.rs
+++ b/src/bin/int.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::collections::HashMap;
 use std::io::{self, Write};
 
diff --git a/src/cli.rs b/src/cli.rs
index 3846ded..66d772f 100644
--- a/src/cli.rs
+++ b/src/cli.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::fmt;
 use std::path::PathBuf;
 
diff --git a/src/hash.rs b/src/hash.rs
index 7cfbb75..982ccd0 100644
--- a/src/hash.rs
+++ b/src/hash.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 mod cached;
 mod precomputed;
 pub(crate) use precomputed::*;
diff --git a/src/hash/cached.rs b/src/hash/cached.rs
index ed21c43..230f4b7 100644
--- a/src/hash/cached.rs
+++ b/src/hash/cached.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 // TODO(lb): Add LICENSE from OnceCell
 
 #![allow(unused)]
diff --git a/src/hash/precomputed.rs b/src/hash/precomputed.rs
index 1531de1..b201576 100644
--- a/src/hash/precomputed.rs
+++ b/src/hash/precomputed.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::hash::Hash;
 use std::marker::PhantomData;
 
diff --git a/src/hash/prehashed.rs b/src/hash/prehashed.rs
index 02eb338..4bed881 100644
--- a/src/hash/prehashed.rs
+++ b/src/hash/prehashed.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 
diff --git a/src/hash/ref.rs b/src/hash/ref.rs
index 1b37840..5bfe4c6 100644
--- a/src/hash/ref.rs
+++ b/src/hash/ref.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::fmt::Display;
 use std::hash::Hash;
 use std::ptr;
diff --git a/src/klimited.rs b/src/klimited.rs
index 7de0942..0998348 100644
--- a/src/klimited.rs
+++ b/src/klimited.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 // TODO: Specialize for 1-9 or so? `pushed` is where many heap allocations happen.
 use std::collections::VecDeque;
 
diff --git a/src/lattice.rs b/src/lattice.rs
index f4b5626..c59bf5e 100644
--- a/src/lattice.rs
+++ b/src/lattice.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 //! Lattice for values of integer variables
 
 use ascent::{lattice::constant_propagation::ConstPropagation, Lattice};
diff --git a/src/layers.rs b/src/layers.rs
index 3df0c4e..8b468e1 100644
--- a/src/layers.rs
+++ b/src/layers.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 pub mod counts;
 pub use counts::*;
 pub mod nanos;
diff --git a/src/layers/counts.rs b/src/layers/counts.rs
index 3114a33..6d46208 100644
--- a/src/layers/counts.rs
+++ b/src/layers/counts.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use tracing::{Id, Subscriber};
 use tracing_subscriber::{layer::Context, registry::LookupSpan, Layer};
 
diff --git a/src/layers/nanos.rs b/src/layers/nanos.rs
index d5c0e11..d9e11b8 100644
--- a/src/layers/nanos.rs
+++ b/src/layers/nanos.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::time::{Duration, SystemTime};
 
 use dashmap::DashMap;
diff --git a/src/lib.rs b/src/lib.rs
index 4329507..1b43280 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 mod alloc;
 pub use alloc::*;
 pub mod analysis;
diff --git a/src/llvm.rs b/src/llvm.rs
index 7655016..e35f463 100644
--- a/src/llvm.rs
+++ b/src/llvm.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 //! Representation of an LLVM module that is amenable to analysis. In
 //! particular, Ascent values must implement `Clone`, `Hash`, and `Eq`. Since
 //! the LLVM AST contains floats, and floats don't implement `Eq`, we must
diff --git a/src/llvm/constant.rs b/src/llvm/constant.rs
index 8844585..1e8dcb7 100644
--- a/src/llvm/constant.rs
+++ b/src/llvm/constant.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::{collections::HashMap, fmt::Display};
 
 use crate::arc::{Arc, UArc};
diff --git a/src/llvm/error.rs b/src/llvm/error.rs
index b0d2ab9..da05ab8 100644
--- a/src/llvm/error.rs
+++ b/src/llvm/error.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 #[derive(Clone, Debug, Default, Hash, PartialEq, Eq, thiserror::Error)]
 pub struct Error(pub String);
 
diff --git a/src/llvm/instruction.rs b/src/llvm/instruction.rs
index 7a47bc9..daceb1c 100644
--- a/src/llvm/instruction.rs
+++ b/src/llvm/instruction.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::collections::HashMap;
 
 use either::Either;
diff --git a/src/llvm/name.rs b/src/llvm/name.rs
index a1fbe62..a34df6a 100644
--- a/src/llvm/name.rs
+++ b/src/llvm/name.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::fmt::Display;
 
 use llvm_ir::{
diff --git a/src/llvm/operand.rs b/src/llvm/operand.rs
index b8fcf86..af14498 100644
--- a/src/llvm/operand.rs
+++ b/src/llvm/operand.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::collections::HashMap;
 
 use llvm_ir::Name;
diff --git a/src/llvm/terminator.rs b/src/llvm/terminator.rs
index 4ebb1ef..0a0df5c 100644
--- a/src/llvm/terminator.rs
+++ b/src/llvm/terminator.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::collections::HashMap;
 
 use either::Either;
diff --git a/src/main.rs b/src/main.rs
index 431baa8..1a9f6d9 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::collections::HashMap;
 use std::io::{self, Write};
 
diff --git a/src/signatures.rs b/src/signatures.rs
index b7f8eb6..ad79284 100644
--- a/src/signatures.rs
+++ b/src/signatures.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::collections::HashMap;
 
 use regex::RegexSet;
diff --git a/src/union.rs b/src/union.rs
index 8926b15..a26f6b8 100644
--- a/src/union.rs
+++ b/src/union.rs
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier:i BSD-3-Clause
 use std::ops::{Deref, DerefMut};
 
 use crate::arc::Arc;

From 294fd681432af55f70712e164826d125d77f764f Mon Sep 17 00:00:00 2001
From: Alex Birman <abdev@fastmail.com>
Date: Fri, 15 Sep 2023 16:31:04 -0700
Subject: [PATCH 2/3] remove  scripts used to add license info

---
 add_license.bash | 7 -------
 copyright.txt    | 1 -
 2 files changed, 8 deletions(-)
 delete mode 100755 add_license.bash
 delete mode 100644 copyright.txt

diff --git a/add_license.bash b/add_license.bash
deleted file mode 100755
index 69cc3d8..0000000
--- a/add_license.bash
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-for i in src/*.rs src/*/*.rs
-do
-  cat copyright.txt $i >$i.new && mv $i.new $i
-done
-
diff --git a/copyright.txt b/copyright.txt
deleted file mode 100644
index 1715078..0000000
--- a/copyright.txt
+++ /dev/null
@@ -1 +0,0 @@
-// SPDX-License-Identifier:i BSD-3-Clause

From 96a06befba0633bcde60e2d4fdfe309000fc4d3b Mon Sep 17 00:00:00 2001
From: Alex Birman <abdev@fastmail.com>
Date: Mon, 18 Sep 2023 11:27:06 -0700
Subject: [PATCH 3/3] Fixed type in comment, extra i after :

---
 src/alloc.rs              | 2 +-
 src/analysis.rs           | 2 +-
 src/analysis/callgraph.rs | 2 +-
 src/analysis/int.rs       | 2 +-
 src/analysis/pointer.rs   | 2 +-
 src/arc.rs                | 2 +-
 src/arc/cached.rs         | 2 +-
 src/arc/precomputed.rs    | 2 +-
 src/arc/uarc.rs           | 2 +-
 src/bin/int.rs            | 2 +-
 src/cli.rs                | 2 +-
 src/hash.rs               | 2 +-
 src/hash/cached.rs        | 2 +-
 src/hash/precomputed.rs   | 2 +-
 src/hash/prehashed.rs     | 2 +-
 src/hash/ref.rs           | 2 +-
 src/klimited.rs           | 2 +-
 src/lattice.rs            | 2 +-
 src/layers.rs             | 2 +-
 src/layers/counts.rs      | 2 +-
 src/layers/nanos.rs       | 2 +-
 src/lib.rs                | 2 +-
 src/llvm.rs               | 2 +-
 src/llvm/constant.rs      | 2 +-
 src/llvm/error.rs         | 2 +-
 src/llvm/instruction.rs   | 2 +-
 src/llvm/name.rs          | 2 +-
 src/llvm/operand.rs       | 2 +-
 src/llvm/terminator.rs    | 2 +-
 src/main.rs               | 2 +-
 src/signatures.rs         | 2 +-
 src/union.rs              | 2 +-
 32 files changed, 32 insertions(+), 32 deletions(-)

diff --git a/src/alloc.rs b/src/alloc.rs
index 3716bd4..5ed4a84 100644
--- a/src/alloc.rs
+++ b/src/alloc.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 // TODO: Heap cloning, with two optimizations:
 //
 // - Stack allocations with non-pointer-containing types need not have contexts
diff --git a/src/analysis.rs b/src/analysis.rs
index da432cf..b8d1696 100644
--- a/src/analysis.rs
+++ b/src/analysis.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 pub mod callgraph;
 pub use callgraph::*;
 pub mod int;
diff --git a/src/analysis/callgraph.rs b/src/analysis/callgraph.rs
index c713c2c..d449e12 100644
--- a/src/analysis/callgraph.rs
+++ b/src/analysis/callgraph.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 //! Callgraph analysis
 //!
 //! TODO:
diff --git a/src/analysis/int.rs b/src/analysis/int.rs
index 11d473e..2cab209 100644
--- a/src/analysis/int.rs
+++ b/src/analysis/int.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 //! Integer analysis
 
 use std::collections::HashMap;
diff --git a/src/analysis/pointer.rs b/src/analysis/pointer.rs
index bf4a516..8a589f4 100644
--- a/src/analysis/pointer.rs
+++ b/src/analysis/pointer.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 // TODO: Handle global aliases
 use std::collections::{HashMap, HashSet};
 
diff --git a/src/arc.rs b/src/arc.rs
index bbdee05..9f43f60 100644
--- a/src/arc.rs
+++ b/src/arc.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 #[cfg(not(feature = "precompute"))]
 mod cached;
 #[cfg(not(feature = "precompute"))]
diff --git a/src/arc/cached.rs b/src/arc/cached.rs
index 80703f3..6d20536 100644
--- a/src/arc/cached.rs
+++ b/src/arc/cached.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 use std::ops::Deref;
diff --git a/src/arc/precomputed.rs b/src/arc/precomputed.rs
index 92b61bd..875a1cf 100644
--- a/src/arc/precomputed.rs
+++ b/src/arc/precomputed.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 use std::ops::Deref;
diff --git a/src/arc/uarc.rs b/src/arc/uarc.rs
index 492b2b8..9bd106a 100644
--- a/src/arc/uarc.rs
+++ b/src/arc/uarc.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::Display;
 use std::hash::Hash;
 use std::ptr;
diff --git a/src/bin/int.rs b/src/bin/int.rs
index 3bf1b1a..847ecd6 100644
--- a/src/bin/int.rs
+++ b/src/bin/int.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 use std::io::{self, Write};
 
diff --git a/src/cli.rs b/src/cli.rs
index 66d772f..1188ea7 100644
--- a/src/cli.rs
+++ b/src/cli.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt;
 use std::path::PathBuf;
 
diff --git a/src/hash.rs b/src/hash.rs
index 982ccd0..f8cb7e9 100644
--- a/src/hash.rs
+++ b/src/hash.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 mod cached;
 mod precomputed;
 pub(crate) use precomputed::*;
diff --git a/src/hash/cached.rs b/src/hash/cached.rs
index 230f4b7..b055daf 100644
--- a/src/hash/cached.rs
+++ b/src/hash/cached.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 // TODO(lb): Add LICENSE from OnceCell
 
 #![allow(unused)]
diff --git a/src/hash/precomputed.rs b/src/hash/precomputed.rs
index b201576..4cfc011 100644
--- a/src/hash/precomputed.rs
+++ b/src/hash/precomputed.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::hash::Hash;
 use std::marker::PhantomData;
 
diff --git a/src/hash/prehashed.rs b/src/hash/prehashed.rs
index 4bed881..a70c5c1 100644
--- a/src/hash/prehashed.rs
+++ b/src/hash/prehashed.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 
diff --git a/src/hash/ref.rs b/src/hash/ref.rs
index 5bfe4c6..9bb9561 100644
--- a/src/hash/ref.rs
+++ b/src/hash/ref.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::Display;
 use std::hash::Hash;
 use std::ptr;
diff --git a/src/klimited.rs b/src/klimited.rs
index 0998348..c0e8439 100644
--- a/src/klimited.rs
+++ b/src/klimited.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 // TODO: Specialize for 1-9 or so? `pushed` is where many heap allocations happen.
 use std::collections::VecDeque;
 
diff --git a/src/lattice.rs b/src/lattice.rs
index c59bf5e..3f3f688 100644
--- a/src/lattice.rs
+++ b/src/lattice.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 //! Lattice for values of integer variables
 
 use ascent::{lattice::constant_propagation::ConstPropagation, Lattice};
diff --git a/src/layers.rs b/src/layers.rs
index 8b468e1..471fbd6 100644
--- a/src/layers.rs
+++ b/src/layers.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 pub mod counts;
 pub use counts::*;
 pub mod nanos;
diff --git a/src/layers/counts.rs b/src/layers/counts.rs
index 6d46208..803b0d2 100644
--- a/src/layers/counts.rs
+++ b/src/layers/counts.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use tracing::{Id, Subscriber};
 use tracing_subscriber::{layer::Context, registry::LookupSpan, Layer};
 
diff --git a/src/layers/nanos.rs b/src/layers/nanos.rs
index d9e11b8..4986837 100644
--- a/src/layers/nanos.rs
+++ b/src/layers/nanos.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::time::{Duration, SystemTime};
 
 use dashmap::DashMap;
diff --git a/src/lib.rs b/src/lib.rs
index 1b43280..b892772 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 mod alloc;
 pub use alloc::*;
 pub mod analysis;
diff --git a/src/llvm.rs b/src/llvm.rs
index e35f463..2cafce3 100644
--- a/src/llvm.rs
+++ b/src/llvm.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 //! Representation of an LLVM module that is amenable to analysis. In
 //! particular, Ascent values must implement `Clone`, `Hash`, and `Eq`. Since
 //! the LLVM AST contains floats, and floats don't implement `Eq`, we must
diff --git a/src/llvm/constant.rs b/src/llvm/constant.rs
index 1e8dcb7..ed1cd27 100644
--- a/src/llvm/constant.rs
+++ b/src/llvm/constant.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::{collections::HashMap, fmt::Display};
 
 use crate::arc::{Arc, UArc};
diff --git a/src/llvm/error.rs b/src/llvm/error.rs
index da05ab8..bff305b 100644
--- a/src/llvm/error.rs
+++ b/src/llvm/error.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 #[derive(Clone, Debug, Default, Hash, PartialEq, Eq, thiserror::Error)]
 pub struct Error(pub String);
 
diff --git a/src/llvm/instruction.rs b/src/llvm/instruction.rs
index daceb1c..694dd5e 100644
--- a/src/llvm/instruction.rs
+++ b/src/llvm/instruction.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 
 use either::Either;
diff --git a/src/llvm/name.rs b/src/llvm/name.rs
index a34df6a..69352a3 100644
--- a/src/llvm/name.rs
+++ b/src/llvm/name.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::Display;
 
 use llvm_ir::{
diff --git a/src/llvm/operand.rs b/src/llvm/operand.rs
index af14498..da48869 100644
--- a/src/llvm/operand.rs
+++ b/src/llvm/operand.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 
 use llvm_ir::Name;
diff --git a/src/llvm/terminator.rs b/src/llvm/terminator.rs
index 0a0df5c..ba93a02 100644
--- a/src/llvm/terminator.rs
+++ b/src/llvm/terminator.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 
 use either::Either;
diff --git a/src/main.rs b/src/main.rs
index 1a9f6d9..9ff09aa 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 use std::io::{self, Write};
 
diff --git a/src/signatures.rs b/src/signatures.rs
index ad79284..7a6a2cf 100644
--- a/src/signatures.rs
+++ b/src/signatures.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 
 use regex::RegexSet;
diff --git a/src/union.rs b/src/union.rs
index a26f6b8..309c88d 100644
--- a/src/union.rs
+++ b/src/union.rs
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier:i BSD-3-Clause
+// SPDX-License-Identifier: BSD-3-Clause
 use std::ops::{Deref, DerefMut};
 
 use crate::arc::Arc;