wafex | Web Application Formal Exploiter | Security Testing library

by rhaidiz Python Version: Current License: No License

X-Ray Key Features Code Snippets Community Discussions(1)Vulnerabilities Install Support

kandi X-RAY | wafex Summary

wafex is a Python library typically used in Testing, Security Testing applications. wafex has no bugs, it has no vulnerabilities and it has low support. However wafex build file is not available. You can download it from GitHub.

Web Application Formal Exploiter (WAFEx) is a protype tool written in python to show that the canonical Dolev-Yao attacker model can be used to generate and exploit multi-stage attacks where multiple vulnerabilities are combined and exploited together. WAFEx takes in input and ASLan++ model of a web application along with a concretization file and seaches for attacks to the ASLan++ model.

Support

Quality

Security

License

Reuse

Support

wafex has a low active ecosystem.

It has 4 star(s) with 1 fork(s). There are 2 watchers for this library.

It had no major release in the last 6 months.

wafex has no issues reported. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of wafex is current.

Quality

wafex has no bugs reported.

Security

wafex has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

wafex does not have a standard license declared.

Check the repository for any license declaration and review the terms closely.

Without a license, all rights are reserved, and you cannot use the library in your applications.

Reuse

wafex releases are not available. You will need to build from source code and install.

wafex has no build file. You will be need to create the build yourself to build the component from source.

Installation instructions, examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi has reviewed wafex and discovered the below as its top functions. This is intended to give you an instant insight into wafex implemented functionality, and help decide if they suit your requirements.

Run sqlmap API
Format a log record
Colorize message
Read a file in wfuzzer
Creates a key and value pair
Run wfuzz command
Parse msc
Identify an action
Parse parameter line
Get a new task
Start the REST API server
Perform XSS on the response
Set an option for a task
Perform an SQLi bypass attack
Perform an XSS in the response
Get all files extracted from attack domain
Execute a CL - Atse
Performs a SQLite attack
Bootstrap concretization_table
Merge two files
Parse the sqlmap output
Generate ASL model
Generate msc
Generate a list of file - system attacks
Searches for SQL injection
Perform a SQLi attack

Get all kandi verified functions for this library.

wafex Key Features

No Key Features are available at this moment for wafex.

wafex Examples and Code Snippets

No Code Snippets are available at this moment for wafex.

Community Discussions

Trending Discussions on Security Testing

DAST security scaning of a IoT Nodemcu esp8266 LUA script www HTML server connected to camera and A/C relay

QUESTION

DAST security scaning of a IoT Nodemcu esp8266 LUA script www HTML server connected to camera and A/C relay

Asked 2021-Apr-08 at 01:04

I have not, but shall DAST* security test, out of curiosity, an IoT device; Nodemcu esp8266 www server I built. It's showing a HTML page (on a mobile phone for example) that allows to control and interact with a camera module and a A/C relay. With it I can for example show images captured in the camera I even think it has some image recognition built in, and I can switch on and off a relay for electrical current to a light bulb (110/220v A/C power)

Before I start pentest I though I better start thinking of what types of exploits one would be able to find and detect? Which sinister exploits I will be able to find, or rather ought be able to find given a proper pentest exercise? (And if I do not find exploits, my approach to the pentest of the Iot might be wrong)

I ponder it might be a totally pointless exercise since the esp8266 www server (or rather its LUA programming libraries) might not have any security built into it, so basically it is "open doors" and everything with it is unsafe ?

The test report might just conclude what I can foresee be that the the "user input needs to be sanitized"?

Anyone have any idea what such pentest of a generic IoT device generally reports? Maybe it is possible to crash or reset the IoT device? Buffer overruns, XXS, call own code ?

I might use ZAP or Burpsuite or similar DAST security test tool.

I could of course SAST test it instead, or too, but I think it will be hard to find a static code analyzer for the NodeMCU libraries and NUA scripting language easily ? I found some references here though: https://ieeexplore.ieee.org/abstract/document/8227299 but it seems to be a long read.

So if someone just have a short answer what to expect in a DAST scan/pentest , it would be much appreciated.

Stay safe and secure out there ! Zombieboy

...

ANSWER

Answered 2021-Apr-08 at 01:04

I do my vulnerability scanning with OpenVAS (I assume this is what you mean by pentesting?). I am not aware of any IOT focused Tools.

If your server is running on esp8266, i would imagine that there is no much room for authentication and encryption of http traffic, but correct me if i am wrong).

Vulnerability Scan results might show things like unencrypted http traffic, credentials transmitted in cleartext (if you have any credentials fields in the pages served by the web server) etc. Depending on if there is encryption, you might also see weak encryption findings.

You might get some false positives on your lua webserver reacting like other known webservers when exploits are applied. I have seen this kind of false positive specially on DoS vulnerabilities when a vulnerability scan is testing a vulnerability and the server becomes unresponsive. Depending on how invasive your vulnerability scanner is, you might get a lot of false positives for DoS on such a constrained platform.

Source https://stackoverflow.com/questions/66995125

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install wafex

Clone the master repository and set execution privileges:.

Support

For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .

Find more information at: