compare-all.sh

#!/bin/bash

if [ $# -eq 0 ]; then
  echo "No arguments supplied"
  exit 1
fi

basepath=$(pwd)
result_dir=$basepath/result-$1

if [ ! -d $result_dir ]; then
  mkdir $result_dir;
fi

revng_dir=$basepath/workdir-$1/revng-json
ida_dir=$basepath/workdir-$1/ida-json-normalized

cd $1

for filename in *
do
  echo -e "\nAnalyzing binary: $filename"
  $basepath/scripting/boundaries-comparison-scripts/compare-functions.py $ida_dir/$filename.stripped.json.ida $revng_dir/$filename.ll.isolated.json.revng $filename $result_dir/$filename $result_dir/$filename.matching
done;