First commit, starting to analyze SALAMI