search

RackSec / desdemona

Data-backed security operations
Eclipse Public License 1.0
2 stars 7 forks source link

Implement disunification #114

Open lvh opened 8 years ago

lvh commented 8 years ago

Right now, the query language supports unification; e.g. saying that a logical variable is equal to some expression. We should be able to express that something is not equal to some expression, too; for example:

(and (= (:ip x) "10.0.0.1") (!= (:type x) "syslog"))