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.