DYSTA

Introduction

A static time complexity analysis tool based on Big-O Calc.

Supported Language

• C with C99 standard
• Java
• Python3

What kind of code can this tool analyze?

Please read this before you use!

How to use

git clone --recurse-submodules https://github.com/ncu-psl/DYSTA.git --depth=1
cd DYSTA
pip3 install -r requirements.txt

# python3 bigo_calc.py target_code Language(optional)
python3 bigo_calc.py examples/ForTest.c

Dependency

• See Dependency graph or requirements.txt in detail.

  • C AST is generated from pycparser

  • Java AST is generated from javalang, javaparser