Spock SLAF is a Shared Library Application Firewall "SLAF". It has the purpose to protect any service that uses the OpenSSL library. The SLAF inserts hooking to intercept all communication to detect security anomalies and block and log attacks like buffer overflow, path traversal, XXE and SQL injection. So to detect anomalies, Spock uses Deterministic Finite Automaton with rank scores to compute risks and create alerts for each context.
My beginning purpose in this project is to protect any binary that has communication with TLS using OpenSSL resources.
Etymology
The motivation for this tool was released during a mitigation project in the past seven years an old. Following my freelancer task, an old client has disclosed a problem around deprecated proprietary binary with many vulnerabilities like Heap buffer overflows, remote buffer overflow and path traversal. The big problem of binary context is the application turn abandonware with no patch fixes, but the enterprise needs to run production loads. So my solution was to insert seccomp() to restrict syscalls in the process(you know, block calls like system()/execv()). I replaced libc's malloc() with "DieHard", an error-resistant memory allocator. On the other hand, another initiative was little hooking in OpenSSL's SSL_read() function to restrict some evil payloads, another option.
Another option is to use libreSSL and up a monitor to listen if it has a compatibility bug. The lousy point of LibreSSL is the performance; you can see that if you use a tool like gprof to get a benchmark between OpenSSL and LibreSSL. So OpenSSL is cool but not safest like LibreSSL or lib Sodium. Looking at the performance context, if you get arithmetic functions to big int of OpenSSL, some resources like Big int operations BN_new() do not have a good performance like libGMP. So relax. Performance is not always the best path for security. Security validations and extra buffer and proper bounds checks have an expected cost, without this, you can see a lot of problems for example looking to spectre/meltdown in the past.
Following additional facts, external rules of server using BSD's firewall(aka packet filter), using custom rules to allow only by IP and OS fingerprint. So that freelancer task stuck in my mind, now you can see my new solution following a global approach to protect TLS communication in the server context.
Features
Action to Block, log and detect security anomalies from SSL_read() input buffers. Capacity to run in any programme that uses the OpenSSL library. If detect anomaly in TLS context, Spock saves the IP address of the attacker, date time and attack "payload" register in log file "spock_agressors.log".The first step compile to deploy
Clone the repository:
Enter in the folder:
Compile the content:
Now you can see the shared library "spock_slaf.so.1" in "bin" directory.
Second step inject to protect
Second step is inject shared library in your binary that uses OpenSSL following communication context(server).
So now we can use LD_PRELOAD trick:
Looking to this example, so has been tested in OptionsCat financial software. If anyone attacks the optionscat server, you can see the full log in the file "spock_agressors.log".
Extra content
You can customize the score rank to detect the anomaly, if set macro SPOCK_SCORE to any number between 1 to 10(High number is more sensitive). You can customize the list of attack payloads to block. Please look at the source code. You can gain performance in HTTP context, if set macro SPOCK_ONLY_HTTP to "1" in the source code. You can remove debug mode, if set macro SPOCK_BUGVIEW to "0" in the source code.Thank you
Thank you for using my tool. Any problem with the tool or suggestion, please open a GitHub issue in this repository. I will be delighted to help anyone.
Curious fact: The name Spock is my dog's name and a little homage to the Star Trek series.