Skip to content

Commit

Permalink
adding Slicer4D
Browse files Browse the repository at this point in the history
  • Loading branch information
shrBadihi committed Aug 10, 2024
1 parent 254d7ba commit 53be0e4
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions artifacts/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -8,10 +8,9 @@
<div class="blurb">
<h1 style="font-size:20px;">Mobile Software</h1>
<ul>
<li><a target="_new" href="MobileCoverage/">Mobile Application Coverage: The 30% Curse and Ways Forward</a>, Under Review (TSE 2024)</li>
<!-- <li><a target="_new" href="MobileCoverage/">Mobile Application Coverage: The 30% Curse and Ways Forward</a>, Under Review (TSE 2024)</li> -->
<li><a target="_new" href="ViaLin/">ViaLin: Path-Aware Dynamic Taint Analysis for Android</a>, FSE 2023</li>
<li><a target="_new" href="GooglePlayMalwareAnalysis/">Rotten Apples Spoil the Bunch: An Anatomy of Google Play Malware</a>, ICSE 2022</li>
<li><a target="_new" href="https://github.com/resess/Slicer4J"> Slicer4J: A Dynamic Slicer for Java</a>, FSE 2021 Tool Demos Track</li>
<li><a target="_new" href="Mandoline/"> MANDOLINE: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis</a>, ICST 2021</li>
<li><a target="_new" href="StaticTaint/">Analyzing Android Taint Analysis Tools: FlowDroid, Amandroid, and DroidSafe</a>, TSE 2021</li>
<li><a target="_new" href="GoalExplorer/">Goal-driven Exploration for Android Applications</a>, ASE 2019</li>
Expand All @@ -37,7 +36,9 @@ <h1 style="font-size:20px;">Cloud Software</h1>

<h1 style="font-size:20px;">Compositional Software Development</h1>
<ul>
<li><a target="_new" href="https://github.com/resess/Slicer4D"> Slicer4D: A Slicing-based Debugger for Java</li>
<li><a target="_new" href="InPreSS/">InPreSS: Information Preserving Slice Summarization</a>, ICSE 2023</li>
<li><a target="_new" href="https://github.com/resess/Slicer4J"> Slicer4J: A Dynamic Slicer for Java</a>, FSE 2021 Tool Demos Track</li>
<li><a target="_new" href="ARDiff/">ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code</a>, FSE 2020</a></li>
</ul>
</div><!-- /.blurb -->
Expand Down

0 comments on commit 53be0e4

Please sign in to comment.