JSAnalyzer

Released: December, 2013.
Written by Yuta Maezawa and great contributors.

Introduction

We are developing JSAnalyzer for supporting Ajax applications developments. JSAnalyzer consists of three main components:

JSModeler

Statically extracts a finite state machine (FSM) focusing on interactions with Ajax applications

JSVerifier

(Semi-)Automatically verifies whether the extracted FSM satisfies invariants relevant to interactions with Ajax applications

JSPreventer

Supports developers to reveal errors due to potential faults of counterexamples from the verification results

We believe that JSAnalyzer helps developers developing and maintaining highly-quality Ajax applications. Enjoy to run JSAnalyzer!

Getting Started

See this wiki (updating).

License

Apache 2.0 License

Greatest Contributors

Kazuki Nishiura
Junto Nakaoka

We are looking forward to your contributions!

Copyrights (C) JSAnalyzer All Rights Reserved.