ncu-psl / bigo-calc

A static Big-O analysis tool base on Big-O AST

BigO-Calc

Introduction

A static Big-O analysis tool base on Big-O AST.

Supported Language

• C with C99 standard
• Java

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/BigO-Calc.git --depth=1
cd BigO-Calc
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

Publication

• 何東穎, 莊永裕, 使用AST進行靜態程式碼分析函式時間複雜度, Taiwan Academic Network Conference (TANET 2018), Nov. 2018

AST version & CST version

• AST version (Current Version)

• CST version (This Version is no longer maintained)