type
Post
status
Published
date
Jun 5, 2023
slug
summary
tags
Security
Python
Program Analysis
Bytecode
category
Program Analysis
icon
password
Property
Jun 5, 2023 03:49 PM

Binary Analysis

  1. angr
      • SoK: (State of) The Art of War: Offensive Techniques in Binary Analysis
      • Language: Python 3.8+
  1. IDA
      • There is nothing to say

Java

  1. Soot
      • Language: Java 1.8
      • Description: Soot is a Java optimization framework. It provides four intermediate representations for analyzing and transforming Java bytecode.
  1. Tai-e
      • Language: Java 17
      • Description: Tai-e (Chinese: 太阿; pronunciation: [ˈtaɪə:]) is a new static analysis framework for Java (please see our technical report for details), which features arguably the "best" designs from both the novel ones we proposed and those of classic frameworks such as Soot, WALA, Doop, and SpotBugs. Tai-e is easy-to-learn, easy-to-use, efficient, and highly extensible, allowing you to easily develop new analyses on top of it.
Markdown NotesSurrogate Linear Explanation Model