Make MBAObfuscation faster by reduce the coefficients z3 needs to cal…

…culate from 10 to 5
bluesadi · Jan 3, 2024 · 7f65b41 · 7f65b41
1 parent 290583b
commit 7f65b41
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/llvm/lib/Transforms/Obfuscation/MBAObfuscation.cpp b/llvm/lib/Transforms/Obfuscation/MBAObfuscation.cpp
@@ -10,7 +10,7 @@ using namespace std;
 using namespace llvm;
 using namespace MBAUtils;
 
-#define NUM_COEFFS 10
+#define NUM_COEFFS 5
 
 PreservedAnalyses Pluto::MbaObfuscation::run(Function &F, FunctionAnalysisManager &AM) {
     for (BasicBlock &BB : F) {

diff --git a/llvm/lib/Transforms/Obfuscation/MBAUtils.cpp b/llvm/lib/Transforms/Obfuscation/MBAUtils.cpp
@@ -35,7 +35,7 @@ static int8_t truthTables[15][4] = {
 int64_t *MBAUtils::generateLinearMBA(int numExprs) {
 #ifdef USE_CACHE
     static std::queue<int64_t *> cached_coeffs;
-    if (cached_coeffs.size() >= 50) {
+    if (cached_coeffs.size() >= 100) {
         int64_t *coeffs = cached_coeffs.front();
         cached_coeffs.pop();
         int64_t *coeffs_copy = new int64_t[15];