soot

There are 2 repositories under soot topic.

• soot-oss / soot

  Soot - A Java optimization framework

  analysis-frameworkbytecodejavajava-optimization-frameworkjimpleoptimizationsootstatic-analysis
  Language:Java 2784

• soot-oss / SootUp

  A new version of Soot with a completely overhauled architecture

  androidbytecodecall-graphdataflow-analysisjavajimpleprogram-analysissootstatic-analysisstatic-code-analysis
  Language:Java 487

• noidsirius / SootTutorial

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

  javasootstatic-analysistutorialvisualization
  Language:Java 405

• flankerhqd / JAADAS

  Joint Advanced Defect assEsment for android applications

  sootstatic-analysisvulnerabilityinter-procedure-analysisandroid-applications
  Language:Java 341

• canliture / nju-software-analysis-homework

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

  compiler-optimizationprogram-analysissootstatic-analysis
  Language:Java 278

• Feysh-Group / corax-community

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

  abstract-interpretationcode-analysiscweflowdroidjavaowaspprogram-analysissarifsastsecuritysecurity-auditsoftware-analysissootstatic-analysisstatic-code-analysistaint-analysisvulnerability
  Language:Kotlin 197

• noidsirius / android-soot-instrumentor

  A tool to instrument Android APKs based on Soot

  androidinstrumentationsoot
  Language:Java 15

• secure-software-engineering / authcheck

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

  javasecurityspringframeworksootaccess-controlauthenticationauthorization
  Language:JavaScript 13

• AMReX-Combustion / PeleMP

  Multiphysics models for use with the Pele suite of codes.

  multiphysicsamrexmultiphase-flowsoot
  Language:C++ 9
• atems

  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.

  sootaggregatestransmission-electron-microscopyparticle-size-distributiontemtem-imagesparticle-diameteraerosolsimage-processing
  Language:MATLAB 8

• gupta-himanshu / static-analysis-scala

  Static Analysis of Scala Programs - A Concept

  scalajavastatic-analysissootscala-programmingconcept
  Language:Java 7

• CompL-Research / stava

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

  javaprogram-analysissootstack-allocationstatic-anaysis
  Language:Java 6

• JonaNeu / Phenax

  Phenax is an open source framework to test Android applications whether they are malicious or not. Using a tool called GroddDroid and machine learning algorithms this framework repeatedly runs a number of goodware and malware applications forcing a different execution path in each application in each run.

  androidmalware-analysisbachelor-thesisrepackaged-malwareandroid-malwareandroid-malware-detectionmachine-learninggrodddroidpython3javascriptsoot
  Language:Python 6

• ucam-ceb-como / MOpS

  Detailed population balance modelling

  soot
  Language:C++ 6

• ch4174nya / CryptAnalyzer

  A Static Analysis tool, based on Soot

  androidcryptosootstatic-analysis
  Language:Java 5

• izgzhen / droid-scripts

  Executable scripts for helping with Android related work

  androidapkdecompilesmalidebugsooticcjavasecurity
  Language:Shell 5

• ucam-ceb-como / FlamePyrometry

  Soot temperature and volume fraction from colour photographs

  sootflamespyrometry
  Language:Python 5

• rtfeng / FlowdroidCG

  A build well Android APK call graph generator

  callgraphflowdroidandroidstaticanalysissoot
  Language:Java 4

• arctic-risk / arctic-data

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

  climate-changeclimate-dataarctic-sea-iceco2-emissionssootpollutionsevere-weathersatellite-datapermafrostpermafrost-modelsarcticarctic-dataelasticsearchenterprise-search-web-crawlerboreholes
  Language:Jupyter Notebook 3

• 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.

  fuzzerjavasootbugcode-generationcrashesjvmsecuritytestingtype-confusionvulnerabilitiesvulnerabilityjvm-fuzzerjvm-fuzzingjava-virtual-machinejava-virtual-machine-fuzzer
  Language:Java 3

• acuoci / LIISignals

  Simulation of Laser-Induced Incandescence (LII) signals

  laser-induced-incandescencesootcarbonaceous-particles
  Language:C++ 2

• 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.

  sootmorphologypolydispersitydlca
  Language:MATLAB 2

• schtho / soot-dotnet

  .NET CIL Extension for Static Analysis Framework Soot

  cilcsharpsootdotnetdotnet-corestatic-analysis
  Language:C# 2

• spencerwuwu / J-ReCoVer

  A commutativity verifier for Java Reducer.

  bytecodecommutativityjavasootsymbolic-executionverification
  Language:Java 2

• Alexandre-Bartel / permission-map

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

  androidpermission-mappermissionssootstatic-analysis
  Language:Java 1

• CMPT-479 / VBNConcolicGen

  Concolic Unit Test Generation for Java

  concolic-testingjavasootsymbolic-executiontestingunit-testingz3
  Language:Java 1

• jgiaccai / Raman-curve-fit

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

  python3ramansoot
  Language:Python 1

• nitzanfarhi / JimpleInstrument

  Construction of Spec files using a running of java bytecode

  analysisjavajimplesoot
  Language:HTML 1

• oyeb / range-analysis

  Implementing Value Range Analysis in Soot for fun and profit

  programming-languagesoot
  Language:Java 1

• shaunazzopardi / tapa

  A TArgeted Pointer Analysis for Java programs

  javapointer-analysissootstatic-analysis
  Language:Java 1

• 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.

  tire-liiliilaser-diagnosticsaerosolsfluence-curvesoot
  Language:MATLAB 1

• ucam-ceb-como / HRTEMFringeMapping

  Matlab code for mapping fringes in HRTEM images of soot

  soothrtem
  Language:MATLAB 1

• ufarooq / HelloTransform-Soot

  Getting started with Soot Transformer and Packs

  sootprogram-analysis
  Language:Java 1

• comp-comb / vizData

  Monitor air quality data near Marquette university (Engineering Hall)

  aqiparticulate-mattersoot
  Language:Jupyter Notebook 0

• 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.

  cfgcontrol-flow-graphgenerate-cfgjavasootsootup
  Language:Java

• skyleaworlder / javadoc-reminder

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

  gumtreejdtjgitsootstatic-analysis
  Language:Scala