refactor SVF-npm

SVF-tools · Feb 25, 2025 · f96e2da · f96e2da
1 parent d1f9b4f
commit f96e2da
Show file tree

Hide file tree

Showing 168 changed files with 39 additions and 52,858 deletions.
diff --git a/SVF-linux-aarch64/.gitkeep b/SVF-linux-aarch64/.gitkeep
diff --git a/SVF-linux-x86_64/.gitkeep b/SVF-linux-x86_64/.gitkeep
diff --git a/SVF-linux/Release-build/bin/ae b/SVF-linux/Release-build/bin/ae
diff --git a/SVF-linux/Release-build/bin/cfl b/SVF-linux/Release-build/bin/cfl
diff --git a/SVF-linux/Release-build/bin/dvf b/SVF-linux/Release-build/bin/dvf
diff --git a/SVF-linux/Release-build/bin/llvm2svf b/SVF-linux/Release-build/bin/llvm2svf
diff --git a/SVF-linux/Release-build/bin/mta b/SVF-linux/Release-build/bin/mta
diff --git a/SVF-linux/Release-build/bin/saber b/SVF-linux/Release-build/bin/saber
diff --git a/SVF-linux/Release-build/bin/svf-ex b/SVF-linux/Release-build/bin/svf-ex
diff --git a/SVF-linux/Release-build/bin/wpa b/SVF-linux/Release-build/bin/wpa
diff --git a/SVF-linux/Release-build/include/AE/Core/AbstractState.h b/SVF-linux/Release-build/include/AE/Core/AbstractState.h
diff --git a/SVF-linux/Release-build/include/AE/Core/AbstractValue.h b/SVF-linux/Release-build/include/AE/Core/AbstractValue.h
diff --git a/SVF-linux/Release-build/include/AE/Core/AddressValue.h b/SVF-linux/Release-build/include/AE/Core/AddressValue.h