tsipkens/atems

A MATLAB codebase to analyze TEM images of soot, which includes new methods associated with this project and a compilation of other pre-existing methods into a single package.

Language: MATLAB - Size: 231 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 8 - Forks: 8

soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

Language: Java - Size: 152 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 499 - Forks: 59

soot-oss/soot

Soot - A Java optimization framework

Language: Java - Size: 608 MB - Last synced: 4 days ago - Pushed: 9 days ago - Stars: 2,799 - Forks: 707

noidsirius/SootTutorial

A step-by-step tutorial for Soot (a Java static analysis framework)

Language: Java - Size: 5.68 MB - Last synced: 9 days ago - Pushed: over 1 year ago - Stars: 408 - Forks: 176

FireElementalNE/MPCLoopParallelization

Loop Parallelization for MPC

Language: Java - Size: 569 KB - Last synced: 20 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

tsipkens/wat-lii-fluence

A simple Matlab utility to evaluate the transition fluence and temperature relevant to time-resolved laser-induced incandescence (TiRe-LII) fluence curves.

Language: MATLAB - Size: 24.4 KB - Last synced: 21 days ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

rtfeng/FlowdroidCG

A build well Android APK call graph generator

Language: Java - Size: 86.5 MB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 4 - Forks: 2

flankerhqd/JAADAS 📦

Joint Advanced Defect assEsment for android applications

Language: Java - Size: 50.2 MB - Last synced: 27 days ago - Pushed: about 7 years ago - Stars: 341 - Forks: 107

Feysh-Group/corax-community

Corax for Java: A general static analysis framework for java code checking.

Language: Kotlin - Size: 38 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 194 - Forks: 16

AymenDaoudi/Rimaz

Rimaz is a tool that helps analyze the byte code of Android applications written in Java.

Language: Java - Size: 26.7 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

noidsirius/android-soot-instrumentor

A tool to instrument Android APKs based on Soot

Language: Java - Size: 977 KB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 14 - Forks: 6

aimanfatima/sootup-cfg-on-bugswarm-artifacts

This project is designed to enhance the usability of Software Defect Datasets, particularly Bugswarm. It involves using Sootup to create control flow graphs for the programs compiled with Bugswarm and Sootup. Additionally, the project aims to educate users on how to effectively implement Bugswarm in their projects for various use cases.

Language: Java - Size: 6.84 KB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

AMReX-Combustion/PeleMP

Multiphysics models for use with the Pele suite of codes.

Language: C++ - Size: 5.46 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 9 - Forks: 8

canliture/nju-software-analysis-homework

南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference

Language: Java - Size: 2.51 MB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 275 - Forks: 38

arctic-risk/arctic-data

Repository to capture data, information, and insights from data related to climate change in the arctic.

Language: Jupyter Notebook - Size: 15.4 MB - Last synced: 3 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

ucam-ceb-como/MOpS

Detailed population balance modelling

Language: C++ - Size: 28.4 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 5 - Forks: 5

ucam-ceb-como/FlamePyrometry

Soot temperature and volume fraction from colour photographs

Language: Python - Size: 51.8 KB - Last synced: 8 months ago - Pushed: over 2 years ago - Stars: 5 - Forks: 3

schtho/soot-dotnet

.NET CIL Extension for Static Analysis Framework Soot

Language: C# - Size: 212 KB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 1

acuoci/LIISignals

Simulation of Laser-Induced Incandescence (LII) signals

Language: C++ - Size: 57.6 KB - Last synced: 9 months ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

thepalbi/souffle-points-to-analysis

Souffle + Soot points to analysis

Language: Java - Size: 98.6 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

jgiaccai/Raman-curve-fit

Programs for fitting Raman data of soot with multiple peaks and wavelengths

Language: Python - Size: 173 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

CMPT-479/VBNConcolicGen

Concolic Unit Test Generation for Java

Language: Java - Size: 479 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

comp-comb/vizData

Monitor air quality data near Marquette university (Engineering Hall)

Language: Jupyter Notebook - Size: 190 MB - Last synced: 5 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

Hamed-NKR/MCEM

This is a program to generate polydisperse synthetic soot aggregates from an ensemble of monomers of various sizes based on External Mixing Hypothesis.

Language: MATLAB - Size: 40 MB - Last synced: 21 days ago - Pushed: 23 days ago - Stars: 2 - Forks: 0

software-engineering-and-security/confuzzion

Confuzzion is a Java Virtual Machine (JVM) fuzzer generating Java programs to find bugs and vulnerabilities in the Java VM.

Language: Java - Size: 246 KB - Last synced: 11 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 2

secure-software-engineering/authcheck

Analysis for access-control vulnerabilities in Java Spring Security applications.

Language: JavaScript - Size: 11.4 MB - Last synced: 26 days ago - Pushed: almost 2 years ago - Stars: 13 - Forks: 5

skyleaworlder/javadoc-reminder

:gun: A tool to remind developers to maintain javadoc in Java8 project. (SOFT620020 & SOFT737001 PROJ)

Language: Scala - Size: 129 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Alexandre-Bartel/permission-map

COPES (COllect PErmissionS) is a tool to extract permission checks from the Android Framework.

Language: Java - Size: 13.8 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 1

ufarooq/HelloTransform-Soot

Getting started with Soot Transformer and Packs

Language: Java - Size: 11.5 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1

sangjin-hash/FLUID_UseCase

다중 서피스 상호작용 지원을 위한 모바일 앱 변환 프레임워크

Language: Java - Size: 72.1 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1

izgzhen/droid-scripts

Executable scripts for helping with Android related work

Language: Shell - Size: 77.7 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 2

CompL-Research/stava

Stava is a static program analysis for identifying stack allocable objects of code written in Java 8

Language: Java - Size: 27.6 MB - Last synced: 9 months ago - Pushed: about 1 year ago - Stars: 4 - Forks: 6

LideLinusZhang/recursioncheck-maven-plugin

CIS 2019 Summer Program Final Project

Language: Java - Size: 69.3 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

hafizmfamin/hafizmfamin.github.io

Language: HTML - Size: 102 MB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ucam-ceb-como/HRTEMFringeMapping

Matlab code for mapping fringes in HRTEM images of soot

Language: MATLAB - Size: 1 MB - Last synced: 8 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

shaunazzopardi/tapa

A TArgeted Pointer Analysis for Java programs

Language: Java - Size: 14.8 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 1

ch4174nya/CryptAnalyzer

A Static Analysis tool, based on Soot

Language: Java - Size: 201 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 5 - Forks: 2

nitzanfarhi/JimpleInstrument

Construction of Spec files using a running of java bytecode

Language: HTML - Size: 13.9 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 1

thepalbi/SootLab

Interactive lab for experimenting with Soot IRs

Language: JavaScript - Size: 217 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

ufarooq/DroidCFG

Language: Java - Size: 210 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 2

oyeb/range-analysis

Implementing Value Range Analysis in Soot for fun and profit

Language: Java - Size: 587 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

spencerwuwu/J-ReCoVer

A commutativity verifier for Java Reducer.

Language: Java - Size: 155 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1

Harkirat94/bughunter

Exception analysis tool to identify potential runtime exceptions that can occur in a Java program.

Language: Java - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

kshitijgorde/Interprocedural-CFG

Language: GAP - Size: 180 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

deepak0004/Inter_And_Intra

Language: Java - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

lingfennan/app-rewriter

Language: Java - Size: 37.3 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 2

gupta-himanshu/static-analysis-scala

Static Analysis of Scala Programs - A Concept

Language: Java - Size: 184 KB - Last synced: 9 months ago - Pushed: almost 10 years ago - Stars: 7 - Forks: 1