Package: lightbulb-framework
# LightBulbLightBulb is an open source python framework for auditing web application firewalls and filters.<p align="center"><img src="https://lightbulb-framework.github.io/assets/images/logo5full.png" height="400"></p>## SynopsisThe framework consists of two main algorithms:* **GOFA**: An active learning algorithm that infers symbolic representations of automata in the standard membership/equivalence query model.Active learning algorithms permits the analysis of filter and sanitizer programs remotely, i.e. given only the ability to query the targeted program and observe the output.* **SFADiff**: A black-box differential testing algorithm based on Symbolic Finite Automata (SFA) learningFinding differences between programs with similar functionality is an important security problem as such differences can be used for fingerprinting or creating evasion attacks against security software like Web Application Firewalls (WAFs) which are designed to detect malicious inputs to web applications.## MotivationWeb Applications Firewalls (WAFs) are fundamental building blocks of modern application security. For example, the PCI standard for organizations handling credit card transactions dictates that any application facing the internet should be either protected by a WAF or successfully pass a code review process. Nevertheless, despite their popularity and importance, auditing web application firewalls remains a challenging and complex task. Finding attacks that bypass the firewall usually requires expert domain knowledge for a specific vulnerability class. Thus, penetration testers not armed with this knowledge are left with publicly available lists of attack strings, like the XSS Cheat Sheet, which are usually insufficient for thoroughly evaluating the security of a WAF product.## BlackHat Europe 2016 PresentationIn this presentation we introduce a novel, efficient, approach for bypassing WAFs using automata learning algorithms. We show that automata learning algorithms can be used to obtain useful models of WAFs. Given such a model, we show how to construct, either manually or automatically, a grammar describing the set of possible attacks which are then tested against the obtained model for the firewall. Moreover, if our system fails to find an attack, a regular expression model of the firewall is generated for further analysis. Using this technique we found over 10 previously unknown vulnerabilities in popular WAFs such as Mod-Security, PHPIDS and Expose allowing us to mount SQL Injection and XSS attacks bypassing the firewalls. Finally, we present LightBulb, an open source python framework for auditing web applications firewalls using the techniques described above. In the release we include the set of grammars used to find the vulnerabilities presented.[![BHEU16 Presentation](http://image.slidesharecdn.com/anotherbrick-161109104820/85/another-brick-off-the-wall-deconstructing-web-application-firewalls-using-automata-learning-1-320.jpg)](http://www.slideshare.net/einstais/another-brick-off-the-wall-deconstructing-web-application-firewalls-using-automata-learning)## Commands UsageMain interface commands:Command       | Description------------- | -------------------------------------core          | Shows available core modulesutils         | Shows available query handlersinfo  \<module\>  | Prints module informationlibrary       | Enters librarymodules       | Shows available application modulesuse \<module\>    | Enters modulestart \<moduleA\> \<moduleB\>    | Initiate algorithmhelp          | Prints helpstatus        | Checks and installs required packagescomplete      | Prints bash completion commandModule commands:Command       | Description------------- | -------------------------------------back          | Go back to main menuinfo          | Prints  current module informationlibrary       | Enters libraryoptions       | Shows available optionsdefine \<option\>  \<value\>   | Set an option valuestart         | Initiate algoritmcomplete      | Prints bash completion commandLibrary commands:Command       | Description------------- | -------------------------------------back          | Go back to main menuinfo \<folder\\module\>  | Prints requested module information (folder must be located in lightbulb/data/)cat \<folder\\module\>  | Prints requested module  (folder must be located in lightbulb/data/)modules  \<folder\>     | Shows available library modules in the requested folder (folder must be located in lightbulb/data/)search  \<keywords\>    | Searches available library modules using comma separated keywordscomplete      | Prints bash completion command## Installation### Prepare your systemFirst you have to verify that your system supports flex, python dev, pip and build utilities:For apt platforms (ubuntu, debian...):```bashsudo apt-get install flexsudo apt-get install python-pipsudo apt-get install python-devsudo apt-get install build-essential```(Optional for apt) If you want to add support for MySQL testing:```bashsudo apt-get install libmysqlclient-dev```For yum platforms (centos, redhat, fedora...) with already installed the extra packages repo (epel-release):```bashsudo yum install -y python-pipsudo yum install -y python-develsudo yum install -y wgetsudo yum groupinstall -y 'Development Tools'```(Optional for yum) If you want to add support for MySQL testing:```bashsudo yum install -y mysql-develsudo yum install -y MySQL-python```### Install LightbulbIn order to use the application without complete package installation:```bashgit clone https://github.com/lightbulb-framework/lightbulb-frameworkcd lightbulb-frameworkmakelightbulb status```In order to perform complete package installation. You can also install it from pip repository. This requires first to install the latest setuptools version:```bashpip install setuptools --upgradepip install lightbulb-frameworklightbulb status```If you want to use virtualenv:```bashpip install virtualenvvirtualenv envsource env/bin/activatepip install lightbulb-frameworklightbulb status```The "lightbulb status" command will guide you to install MySQLdb and OpenFst support. If you use virtualenv in linux, the "sudo" command will be required only for the installation of libmysqlclient-dev package.It should be noted that the "lightbulb status" command is not necessary if you are going to use the Burp Extension. The reason is that this command installs the "openfst" and "mysql" bindings and the extension by default is using Jython, which does not support C bindings. It is recommended to use the command only if you want to change the Burp extension configuration from the settings and enable the native support.It is also possible to use a docker instance:```bashdocker pull lightbulb/lightbulb-framework```[![LightBulb Installation on Debian Linux](https://j.gifs.com/O75xWL.gif)](https://www.youtube.com/watch?v=jjw32Jc744g)## Install Burp ExtensionIf you wish to use the new GUI, you can use the extension for the [Burp Suite](https://portswigger.net/burp/). First you have to setup a working environment with Burp Proxy and Jython* Download the latest Jython from [here](http://www.jython.org/downloads.html)* Find your local python packages installation folder** Configure Burp Extender to use these values, as shown below*<img src="https://lightbulb-framework.github.io/assets/images/burp_jython_python.png" width="300">* Select the new LightBulb module ("BurpExtension.py") and set the extension type to be "Python"<img src="https://lightbulb-framework.github.io/assets/images/burp_extension.png" width="600">*You can ignore this step, and install the standalone version which contains all the required python packages included. You can download it [here](https://github.com/lightbulb-framework/lightbulb-framework/files/2079793/lightbulb-framework.zip)## ExamplesCheck out the [Wiki page](https://github.com/lightbulb-framework/lightbulb-framework/wiki) for usage examples.## Contributors* George Argyros* Ioannis Stais* Suman Jana* Angelos D. Keromytis* Aggelos Kiayias## References* *G. Argyros, I. Stais, S. Jana, A. D. Keromytis, and A. Kiayias. 2016. SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS '16). ACM, New York, NY, USA, 1690-1701. doi: 10.1145/2976749.2978383** *G. Argyros, I. Stais, A. Kiayias and A. D. Keromytis, "Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters," 2016 IEEE Symposium on Security and Privacy (SP), San Jose, CA, 2016, pp. 91-109. doi: 10.1109/SP.2016.14*## AcknowledgementsThis research was partly supported by ERC project CODAMODA, #259152.## LicenseMIT License as described in LICENSE file