Repositories list

• toolbox-commons

  Public
  A set of common utilities for program analysis and toolbox development using Atlas

  HTML

  •

  Other

  •0•0•0•0•Updated Mar 1, 2024Mar 1, 2024

• support-plugins

  Public
  A collection of third party Eclipse support plugins

  Java

  •0•0•0•0•Updated Mar 1, 2024Mar 1, 2024

• slicing-toolbox

  Public
  A toolbox for program slicing

  HTML

  •

  Other

  •0•3•0•0•Updated Mar 1, 2024Mar 1, 2024

• pcg-toolbox

  Public
  A toolbox for computing projected control graphs (PCGs)

  HTML

  •

  Other

  •0•0•0•0•Updated Mar 1, 2024Mar 1, 2024

• java-toolbox-commons

  Public
  A collection of analysis utilities for analyzing Java source programs

  HTML

  •

  Other

  •1•0•0•0•Updated Mar 1, 2024Mar 1, 2024

• c-toolbox-commons

  Public
  A collection of analysis utilities for analyzing C programs

  HTML

  •

  MIT License

  •0•0•0•0•Updated Mar 1, 2024Mar 1, 2024

• android-essentials-toolbox

  Public
  A set of building blocks for analyzing Android apps with Atlas

  HTML

  •

  MIT License

  •5•14•2•0•Updated May 21, 2023May 21, 2023

• call-graph-toolbox

  Public
  A toolbox with several call graph construction algorithm implementations

  HTML

  •

  Other

  •5•19•1•0•Updated May 21, 2023May 21, 2023

• points-to-toolbox

  Public
  An Atlas native points-to analysis implementation and utility toolbox

  HTML

  •

  Other

  •0•2•0•0•Updated May 21, 2023May 21, 2023

• jimple-toolbox-commons

  Public
  A collection of analysis utilities for analyzing Jimple (JVM bytecode) programs

  HTML

  •

  Other

  •0•0•0•0•Updated May 21, 2023May 21, 2023

• loop-comprehension-toolbox

  Public
  A suite of tools to reason about loops

  Java

  •

  MIT License

  •0•2•0•0•Updated Oct 4, 2022Oct 4, 2022

• AnalyzableAndroid

  Public
  Full source projects suitable for analyzing with Atlas.

  Java

  •0•1•0•0•Updated Oct 3, 2022Oct 3, 2022

• TinkerPop-Atlas

  Public
  Translation layer allowing Atlas queries using Gremlin syntax

  Java

  •0•0•0•0•Updated Feb 10, 2021Feb 10, 2021

• ghidra-scripts

  Public
  A suite of Ghidra scripts to reason about binaries.

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 9, 2020Mar 9, 2020

• linux-5.0-allmodconfig

  Public
  Atlas Analyzable C-Project of Linux kernel 5.0, allmodconfig build

  C

  •

  MIT License

  •0•0•0•0•Updated Jun 22, 2019Jun 22, 2019

• immutability-toolbox

  Public
  A toolbox for experimenting with immutability analysis

  toolboximmutabilitypurity

  HTML

  •

  Other

  •1•2•0•0•Updated Apr 2, 2019Apr 2, 2019

• DynaDoc

  Public
  Automated On-Demand Context-Specific Documentation

  javadocumentation-generatorjavadoc-doclet

  Java

  •

  MIT License

  •0•1•0•0•Updated Sep 27, 2018Sep 27, 2018

• toolbox-repository

  Public
  A composite update site for open source Atlas toolbox projects

  CSS

  •

  MIT License

  •0•0•0•0•Updated Sep 16, 2018Sep 16, 2018

• SID

  Public
  A Statically-Informed Dynamic (SID) analysis toolbox

  HTML

  •

  MIT License

  •0•0•0•0•Updated Nov 22, 2017Nov 22, 2017

• Starter-Toolbox

  Public
  An example starter framework for creating an analysis toolbox

  Java

  •3•2•0•0•Updated Sep 8, 2017Sep 8, 2017

• Pintos

  Public
  An Atlas mappable project of the Pintos micro operating system.

  C

  •

  Other

  •0•0•0•0•Updated May 31, 2017May 31, 2017

• XINU

  Public
  Example project for use with c-toolbox-commons

  C

  •

  Other

  •0•0•0•0•Updated May 5, 2017May 5, 2017

• LearningAtlas

  Public
  A collection of example projects for the Learning Atlas beginner tutorial series

  Java

  •

  MIT License

  •0•0•0•0•Updated Sep 9, 2015Sep 9, 2015

• AuditMon

  Public
  A tool for recording and analyzing human Code Exploration Trails during code audits

  Java

  •

  MIT License

  •0•0•0•0•Updated Feb 24, 2015Feb 24, 2015