diff --git a/SVF-osx/Release-build/bin/ae b/SVF-osx/Release-build/bin/ae
index 9b7f64a4..29cdc44e 100755
Binary files a/SVF-osx/Release-build/bin/ae and b/SVF-osx/Release-build/bin/ae differ
diff --git a/SVF-osx/Release-build/bin/cfl b/SVF-osx/Release-build/bin/cfl
index 1a166f03..c8962bbb 100755
Binary files a/SVF-osx/Release-build/bin/cfl and b/SVF-osx/Release-build/bin/cfl differ
diff --git a/SVF-osx/Release-build/bin/dvf b/SVF-osx/Release-build/bin/dvf
index 49b9e5af..568a1f0b 100755
Binary files a/SVF-osx/Release-build/bin/dvf and b/SVF-osx/Release-build/bin/dvf differ
diff --git a/SVF-osx/Release-build/bin/mta b/SVF-osx/Release-build/bin/mta
index 2b7967c7..c63fb3e0 100755
Binary files a/SVF-osx/Release-build/bin/mta and b/SVF-osx/Release-build/bin/mta differ
diff --git a/SVF-osx/Release-build/bin/saber b/SVF-osx/Release-build/bin/saber
index f8f10cb8..06053b36 100755
Binary files a/SVF-osx/Release-build/bin/saber and b/SVF-osx/Release-build/bin/saber differ
diff --git a/SVF-osx/Release-build/bin/svf-ex b/SVF-osx/Release-build/bin/svf-ex
index f02792c9..9811fb47 100755
Binary files a/SVF-osx/Release-build/bin/svf-ex and b/SVF-osx/Release-build/bin/svf-ex differ
diff --git a/SVF-osx/Release-build/bin/wpa b/SVF-osx/Release-build/bin/wpa
index a545f491..e356a169 100755
Binary files a/SVF-osx/Release-build/bin/wpa and b/SVF-osx/Release-build/bin/wpa differ
diff --git a/SVF-osx/Release-build/lib/libSvfCore.a b/SVF-osx/Release-build/lib/libSvfCore.a
index a8fc0163..6d7d6544 100644
Binary files a/SVF-osx/Release-build/lib/libSvfCore.a and b/SVF-osx/Release-build/lib/libSvfCore.a differ
diff --git a/SVF-osx/Release-build/lib/libSvfLLVM.a b/SVF-osx/Release-build/lib/libSvfLLVM.a
index ab15f3dd..ff8c4afc 100644
Binary files a/SVF-osx/Release-build/lib/libSvfLLVM.a and b/SVF-osx/Release-build/lib/libSvfLLVM.a differ