update page

Author: aper-project

_includes/header.html

@@ -637,8 +637,9 @@
         <li><a class="waves-effect" href="{{site.baseurl}}/"><i class="material-icons">home</i>Home</a></li>
         <li><a class="waves-effect" href="{{site.baseurl}}/type-1"><i class="material-icons">description</i>Type-1</a></li>
         <li><a class="waves-effect" href="{{site.baseurl}}/type-2"><i class="material-icons">description</i>Type-2</a></li>
+        <li><a class="waves-effect" href="{{site.baseurl}}/aper-tool"><i class="material-icons">auto_fix_high</i>Aper</a></li>
         <li><a class="waves-effect" href="{{site.baseurl}}/benchmarks"><i class="material-icons">assessment</i>Benchmarks</a></li>
-        <li><a class="waves-effect" href="{{site.baseurl}}/empiricalstudy"><i class="material-icons">label</i>Empirical Study</a></li>
+        <li><a class="waves-effect" href="{{site.baseurl}}/empiricalstudy"><i class="material-icons">label</i>Empirical Data</a></li>
         <!-- <li><a class="waves-effect" href="{{site.baseurl}}/feed.xml" target="_blank"><i class="material-icons">rss_feed</i>RSS</a></li> -->
         <!-- <li><div class="divider"></div></li>
         <li><a class="waves-effect" href="{{site.baseurl}}/about"><i class="material-icons">person</i>About</a></li>

index.md

@@ -3,8 +3,8 @@ layout: page
 css: ["index.css"]
 # js: ["https://cdnjs.cloudflare.com/ajax/libs/geopattern/1.2.3/js/geopattern.min.js", "projects.js"]
 ---
-{% include index.html %}
 
+{% include index.html %}
 
 ##### 1: Type-1 bugs in real apps
 (Missing Permission Check): A dangerous API is called without a permission check on the target Android version.
@@ -27,7 +27,7 @@ The Aper executable and instructions.
 
 ---
 
-##### 4: Benchmark
+##### 4: ARPfix benchmark
 The ARPfix benchmark that contains buggy ARP usages, and the corresponding patches, built from real-world Android projects.
 
 [**Click for more details**](https://aper-project.github.io/benchmarks)