sdasgup3/binary-decompilation#71: wip

kframework · May 17, 2018 · 979829e · 979829e
1 parent 411c4f7
commit 979829e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/docs/reports/papers/asplos2019/source/.gitignore b/docs/reports/papers/asplos2019/source/.gitignore
@@ -0,0 +1,5 @@
+*.aux
+*.bbl
+*.blg
+*.log
+*.out
diff --git a/docs/reports/papers/asplos2019/source/template.pdf b/docs/reports/papers/asplos2019/source/template.pdf
diff --git a/scripts/run.pl b/scripts/run.pl
@@ -74,8 +74,9 @@ sub createEnv {
         "time krun -d $kdefn $basename.$ext $envArgs --output-file $output",
         1 );
 
+    my ( $fh_unused, $tmpfile ) = tempfile( "tmpfileXXXXX", DIR => "/tmp/" );
     execute(
-"cat $output | sed  '/^\\s*\$/d' | sed 's/(\\s*\"/(\\n\"/g'  1> /tmp/x  2>&1 &&  mv /tmp/x $output",
+"cat $output | sed  '/^\\s*\$/d' | sed 's/(\\s*\"/(\\n\"/g'  1> $tmpfile  2>&1 &&  mv $tempfile $output",
         1
     );