Nature of Man
… nothing that happens to Man is ever natural

23 August 2007, Thursday

CORE GRASP (potential) pitfalls

Filed under: Uncategorized — Mordred @ 20:39

Core Security anounced their new security solution CORE GRASP. In short it is meant to recognize between “good” and “tainted” (i.e. comming from the user/attacker) data and stop certain functions (like mysql_query()) from working if they are given tainted data which contains dangerous symbols.

I have experimented with similar good/tainted recognition techniques myself (though not at the low level they do it) and am convinced that this is a viable way to help testing for various kinds of injections (SQL injection, XSS, code execution etc). Note the emphasis on testing here, in my view, production environments would benefit from such solutions only if the overhead is significantly lower. On the other hand, if coders use this as a taint-testing tool during development, they can benefit from it right away.

As Steffan Esser already pointed out, currently the overhead of handling the tainted flags is way too big (~30% according to Core). He also points out several problems with the code (which is after all in its infancy yet).

Code problems aside (which can be fixed more or less easily, I’m sure), from a quick read of their paper, I have seen two (potential, I haven’t yet tested them) serious design flaws in this product, which may not be so easy to correct. (Or, may not exist, caveat lector)

First, “tainted data” is not a trivial concept. That $_GET/$_POST/$_COOKIE contain tainted data is obvious, ditto for $_SERVER (although they don’t mention it in the paper, gotta check the source). The trouble is that tainted data can also come from the database, local files and maybe other sources. Since “taintedness” is lost when something is put in the database, an application that relies on GRASP to stop SQL injections for example, will be unprepared for second-order injection (based on data from the database that the attacker inserted in a previous step). It can be argued that the “dangerous” data would be stopped the first time, but this really depends on the implementation of both GRASP and the PHP code being protected . Note that with second-order injection, the first step contains only benign data (for example escaped quotes) that get dangerous only when handled at another step. Also, two benign pieces of data may be combined into an injection string. So either GRASP will be so unforgiving as to stop - say - valid use of quotes in user input, or it will let them in, allowing the second-order injection attempts to go under its radar.

The second trouble is with their implementation of SQL grammar parser (again, according to the paper, not the actual code).
They say:

The protection mechanism for injection attacks can be modeled by a
Finite State Machine (FSM for short) which allow a formal representation of
well-formed strings. The FSM evaluates a predicate and then answers true if
the string does not represent an exploit, and false if it does. We can design a
FSM for each kind of vulnerability, allowing a precise per-character analysis
in order to perform security checks detecting vulnerabilities in cross language
boundaries (e.g., SQL inside PHP, Javascript inside HTML, etcetera.)
(… snip …)
The FSM for this protection was based on MySQL’s lexical analyzer.

(Take this with a pinch of salt though, it is long since I last read my textbook in discrete mathematics)
The trouble is that FSMs can only work on regular languages, while SQL is in a recursive language. For example you can do this:

SELECT 1;
SELECT (SELECT 1);
SELECT (SELECT (SELECT 1));
.....

Meanwhile a FSM will only work for a finite number of such recursive steps. True, MySQL itself will too accept a finite number of those, but, it will be a big enough number to make a simulation of such a “finite recursion” with FSMs unfeasible. Thus a possible attack against GRASP’s FSM would be to use a large number of nested parentheses (with or without other SQL tokens) and wait for the FSM to run out of states. (This will happen sooner than later, because if a non-recursive language requries N states, adding just one level of recursion at M points will need NxM states, adding two needs NxM2 states, and so on; it quickly gets out of hand.)

9 Comments »

  1. I believe in their code they mark the result of a mysql query as tainted.

    Comment by Momo — 23 August 2007, Thursday @ 23:14

  2. Those are interesting observations but not necessarily *design* flaws.
    Currently can use GRASP to apply and propagate taint marks on a number of input sources (GET/POST/COOKIE/etc), there is nothing in the *design* that prevents application of the same concept to other input sources. Specifically (you outline this in our blog), Grasp can be extended to implement application of taint marks on database input. in fact, that also has a potential privacy-enhancing benefit, using that you con not only prevent you ’second order injections’ but also prevent (to a certain extent) confidential DB data from leaking out disregarding of how the PHP application chooses to use it.

    As for an attack on the FSMs, that may or may not be possible in theory (I really haven’t checked) but in practice it is quite unlikely that a normal PHP application will purposely make queries with SQL statements that have more than a few levels of recursion.

    Regarding the performance issues pointed out there are a few things to be said. First, that the performance optimizations of the current version are really very basic: a fully-tainted or fully-untainted string does not consume 1 taint byte per byte in the string but just a single byte while strings with mixed source bytes do consume one taint byte per string byte. There are several ways to optimize this to reduce the memory footprint and the taint-propagation runtime. Note also that the current implementation has an overhead of 1-byte per taint mark when in theory just 1-bit would be necessary, on the other hand the use of an entire byte allows for extensions to the meaning of the taint mark. Second, the 30% performance hit numbers are the *worst case scenario*, that is when all inputs are sensitive sinks and all strings have mixed sources. this is not the average case for common PHP applications.

    In sum, Grasp for PHP is in its infancy and there’s still a lot of room for improvements, optimizations and new ideas. I would not dismiss it right away without giving it a try…

    Comment by ivan — 24 August 2007, Friday @ 02:54

  3. […] CORE GRASP (potential) pitfalls The Unexpected SQL Injection The Curse of Magic Quotes […]

    Pingback by Codex Securitatis » Blog Archive » Vale mundum! — 21 February 2008, Thursday @ 20:43

  4. Great site. A lot of useful info here. I am sending it to several friends ans also sharing in delicious.
    And naturally, thanks for your effort!

    Comment by Genice — 14 March 2024, Thursday @ 01:06

  5. Appreciate the recommendation. Will try it out.

    Comment by Genae — 14 March 2024, Thursday @ 01:07

  6. Hello there! I know this is kinda off topic however ,
    I’d figured I’d ask. Would you be interested in trading links or maybe guest authoring
    a blog article or vice-versa? My blog goes over a lot of the same
    topics as yours and I think we could greatly benefit from each other.

    If you are interested feel free to shoot me an email. I look forward to hearing from
    you! Great blog by the way!

    Comment by Kathaleen — 14 March 2024, Thursday @ 01:22

  7. My brother suggested I might like this website. He was entirely right.
    This post actually made my day. You cann’t imagine simply how
    much time I had spent for this info! Thanks!

    Comment by Keaton — 14 March 2024, Thursday @ 01:22

  8. If you desire to get a great deal from this article then you have to apply such methods to your won website.

    Comment by Marvel — 14 March 2024, Thursday @ 01:27

  9. Do you mind if I quote a few of your articles as long as I provide credit and sources back to your blog?
    My blog is in the very same area of interest as yours and my visitors would truly benefit from a lot of the information you present here.
    Please let me know if this okay with you. Regards!

    Comment by Wednesday — 14 March 2024, Thursday @ 01:28

RSS feed for comments on this post. TrackBack URI

Leave a comment

Powered by WordPress