GitHub repositories with modified TAJS and Automaton libraries
References
www.brics.dk/TAJS/
www.brics.dk/automaton/
[1] Bartzis, Constantinos, and Tevfik Bultan. "Widening arithmetic automata." InInternational Conference on Computer Aided Verification, pp. 321-333. Springer Berlin Heidelberg, 2004.
[2] Costantini, Giulia, Pietro Ferrara, and Agostino Cortesi. "Static analysis of string values." In Formal Methods and Software Engineering, pp. 505-521. Springer Berlin Heidelberg, 2011.
[3] Jensen, Simon Holm, Anders Møller, and Peter Thiemann. "Type analysis for JavaScript." In Static Analysis, pp. 238-255. Springer Berlin Heidelberg, 2009.
[4] Yu, Fang, Tevfik Bultan, Marco Cova, and Oscar H. Ibarra. "Symbolic string verification: An automata-based approach." In International SPIN Workshop on Model Checking of Software, pp. 306-324. Springer Berlin Heidelberg, 2008.
www.brics.dk/automaton/
[1] Bartzis, Constantinos, and Tevfik Bultan. "Widening arithmetic automata." InInternational Conference on Computer Aided Verification, pp. 321-333. Springer Berlin Heidelberg, 2004.
[2] Costantini, Giulia, Pietro Ferrara, and Agostino Cortesi. "Static analysis of string values." In Formal Methods and Software Engineering, pp. 505-521. Springer Berlin Heidelberg, 2011.
[3] Jensen, Simon Holm, Anders Møller, and Peter Thiemann. "Type analysis for JavaScript." In Static Analysis, pp. 238-255. Springer Berlin Heidelberg, 2009.
[4] Yu, Fang, Tevfik Bultan, Marco Cova, and Oscar H. Ibarra. "Symbolic string verification: An automata-based approach." In International SPIN Workshop on Model Checking of Software, pp. 306-324. Springer Berlin Heidelberg, 2008.