SymTCP | Automatic Discrepancy Discovery for DPI Elusion

by seclab-ucr Python Version: 1.0.1 License: No License

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

kandi X-RAY | SymTCP Summary

SymTCP is a Python library. SymTCP has no bugs, it has no vulnerabilities and it has low support. However SymTCP build file is not available. You can download it from GitHub.

SymTCP is a tool used to automatically discover subtle discrepancies between two TCP implementations, e.g., how they accept and drop packets. Specifically, it can find the discrepancies between a server and a DPI, and use them to elude the DPI, e.g., a packet accepted by the server but ignored by the DPI. It first runs symbolic execution on the server's TCP implementation (whitebox) and collect program execution paths labeled as either "accept" path or "drop" path. Symbolic execution will generate the input packet sequence for each execution paths. Then it probes the DPI (blackbox) with the packet sequences generated and finds if they are processed the same by the DPI as the server. You can find more information in our NDSS paper.

Support

Quality

Security

License

Reuse

Support

SymTCP has a low active ecosystem.

It has 160 star(s) with 18 fork(s). There are 9 watchers for this library.

It had no major release in the last 12 months.

There are 1 open issues and 0 have been closed. On average issues are closed in 124 days. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of SymTCP is 1.0.1

Quality

SymTCP has 0 bugs and 0 code smells.

Security

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

SymTCP code analysis shows 0 unresolved vulnerabilities.

There are 0 security hotspots that need review.

License

SymTCP 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

SymTCP releases are available to install and integrate.

SymTCP 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 SymTCP and discovered the below as its top functions. This is intended to give you an instant insight into SymTCP implemented functionality, and help decide if they suit your requirements.

Probe for s2e
Sendbing packets
Return a function that demote the user
Run s2e
Run test case
Kill a process
Wait for a server to be ready
Runs the DPI probe
Dump the performance of the per_dp_bypass
Determine if the packet is in RST
Determine if packet is an RST challenge packet
Convert an address to a line
Process s2e result
Given a list of packets return whether it is a SYN
Performs a multi - step DSE search
Verify that the result is reachable
Analyze results
Process a pin process
Traverse a function
Checks if a list of packets is small enough
Determine if there are data without packet
Parse s2e log file
Check if SNOW data is in SNMP data
Get a list of all possible PCAPP packets
Determine if a packet is a FIN or ACK packet
Process a query string

Get all kandi verified functions for this library.

SymTCP Key Features

No Key Features are available at this moment for SymTCP.

SymTCP Examples and Code Snippets

No Code Snippets are available at this moment for SymTCP.

Community Discussions

No Community Discussions are available at this moment for SymTCP.Refer to stack overflow page for discussions.

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

Vulnerabilities

No vulnerabilities reported

Install SymTCP

We are using a S2E 2.0 version fetched in Apr, 2019 (can be found in release). Using a newer version of S2E requires porting the code in the patches folder to the newer version. To set up the S2E environment, you may use the s2e-env tool (by following the instructions here). If you want to reuse the exact S2E version used in this project, you may consider to replace the source code downloaded by s2e-env with the one we provided. The S2E project we created can be also found in the release. And it should be put in the projects folder of the S2E environment.

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: