Skip to content

Commit

Permalink
Enabled RCE for new sample, MacOS related failure
Browse files Browse the repository at this point in the history
  • Loading branch information
AjayBrahmakshatriya committed Feb 25, 2025
1 parent 348f8b6 commit e84667e
Show file tree
Hide file tree
Showing 3 changed files with 13 additions and 26 deletions.
19 changes: 6 additions & 13 deletions samples/outputs.var_names/sample60
Original file line number Diff line number Diff line change
@@ -1,28 +1,21 @@
void bar (void) {
int x_0;
long int y_1;
int a_2;
int b_3;
float m_4;
float n_5;
int var6 = b_3;
int var7 = a_2;
int res_8;
if (var7 < var6) {
res_8 = var6;
if (a_2 < b_3) {
res_8 = b_3;
} else {
res_8 = var7;
res_8 = a_2;
}
int m1_9 = res_8;
float var10 = n_5;
float var11 = m_4;
float res_12;
if (var11 < var10) {
res_12 = var10;
if (m_4 < n_5) {
res_12 = n_5;
} else {
res_12 = var11;
res_12 = m_4;
}
float m2_13 = res_12;
int* var14 = (&(x_0));
var14[0] = 0;
}
Expand Down
19 changes: 6 additions & 13 deletions samples/outputs/sample60
Original file line number Diff line number Diff line change
@@ -1,28 +1,21 @@
void bar (void) {
int var0;
long int var1;
int var2;
int var3;
float var4;
float var5;
int var6 = var3;
int var7 = var2;
int var8;
if (var7 < var6) {
var8 = var6;
if (var2 < var3) {
var8 = var3;
} else {
var8 = var7;
var8 = var2;
}
int var9 = var8;
float var10 = var5;
float var11 = var4;
float var12;
if (var11 < var10) {
var12 = var10;
if (var4 < var5) {
var12 = var5;
} else {
var12 = var11;
var12 = var4;
}
float var13 = var12;
int* var14 = (&(var0));
var14[0] = 0;
}
Expand Down
1 change: 1 addition & 0 deletions samples/sample60.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,7 @@ static void bar(void) {

int main(int argc, char* argv[]) {
builder::builder_context context;
context.run_rce = true;
auto ast = context.extract_function_ast(bar, "bar");
block::c_code_generator::generate_code(ast, std::cout, 0);
return 0;
Expand Down

0 comments on commit e84667e

Please sign in to comment.