Having phun with Symbolic Execution (SE)
Tags
| attack-pattern: | Indirect Exploits - T1587.004 Exploits - T1588.005 Software - T1592.002 Tool - T1588.002 Vulnerabilities - T1588.006 Sudo - T1169 |
Common Information
| Type | Value |
|---|---|
| UUID | bde72e4b-b10d-47aa-a70e-d94013997ae1 |
| Fingerprint | 2287841064279b82 |
| Analysis status | DONE |
| Considered CTI value | 0 |
| Text language | |
| Published | Jan. 14, 2014, midnight |
| Added to db | Jan. 18, 2023, 7:58 p.m. |
| Last updated | Nov. 17, 2024, 11:40 p.m. |
| Headline | Random ramblings of a security nerd |
| Title | Having phun with Symbolic Execution (SE) |
| Detected Hints/Tags/Attributes | 36/1/12 |
Source URLs
| Redirection | Url | |
|---|---|---|
| Details | Source | http://nebelwelt.net/blog/20140114-having_phun_with_SE.html |
URL Provider
Attributes
| Details | Type | #Events | CTI | Value |
|---|---|---|---|---|
| Details | Domain | 4128 | github.com |
|
| Details | Domain | 1 | svn.valgrind.org |
|
| Details | Domain | 2 | svn.code.sf.net |
|
| Details | Domain | 1 | clean-install.sh |
|
| Details | Domain | 8 | autogen.sh |
|
| Details | Domain | 3 | nebelwelt.net |
|
| Details | Domain | 2 | static.sh |
|
| Details | File | 1 | se-testbed.tar |
|
| Details | Github username | 1 | bitblaze-fuzzball |
|
| Details | Url | 1 | https://github.com/bitblaze-fuzzball/fuzzball |
|
| Details | Url | 1 | https://svn.code.sf.net/p/stp-fast-prover/code/trunk/stp |
|
| Details | Url | 1 | https://nebelwelt.net/blog/static/2014/0114/se-testbed.tar.bz2 |