LigRE: Reverse-engineering of control and data flow models for black-box XSS detection | IEEE Conference Publication | IEEE Xplore