Module `Libsse.Types`Source

Sourcemodule S = Binsec.Basic_types.String

Sourcemodule I = Binsec.Basic_types.Int

Sourcemodule A : sig ... end

Sourcemodule Expr = Binsec.Dba.Expr

Sourcemodule Var = Binsec.Dba.Var

Sourcemodule Output : sig ... end

Sourceexception Unknown

Sourceexception Undef of Var.t

Sourceexception Uninterp of string

Sourceexception Non_unique

Sourceexception Non_mergeable

Sourcetype 'a test =

| True of 'a
| False of 'a
| Both of {
1. t : 'a;
2. f : 'a;
}

Sourcetype 'a target = ('a * string) list option

Sourcetype size = Binsec.Term.size

Sourceand 'a interval = 'a Binsec.Term.interval

Sourceand unary = Binsec.Term.unary

Sourceand binary = Binsec.Term.binary

Sourceand 'a operator = 'a Binsec.Term.operator =

| Not : unary operator
| Sext : size -> unary operator
| Uext : size -> unary operator
| Restrict : int interval -> unary operator
| Plus : binary operator
| Minus : _ operator
| Mul : binary operator
| Udiv : binary operator
| Umod : binary operator
| Sdiv : binary operator
| Smod : binary operator
| Or : binary operator
| And : binary operator
| Xor : binary operator
| Concat : binary operator
| Lsl : binary operator
| Lsr : binary operator
| Asr : binary operator
| Rol : binary operator
| Ror : binary operator
| Eq : binary operator
| Diff : binary operator
| Ule : binary operator
| Ult : binary operator
| Uge : binary operator
| Ugt : binary operator
| Sle : binary operator
| Slt : binary operator
| Sge : binary operator
| Sgt : binary operator

Sourcetype _ value = ..

Sourcetype value +=

| Abstract : 'a value

Sourcemodule type UID = sig ... end

Sourcemodule type VALUE = sig ... end

Sourcetype 'a feature = ..

Sourcemodule type RAW_STATE = sig ... end

Sourcetype _ key

Sourcemodule type STATE = sig ... end

Sourcetype status =

| Halt
| Cut
| Unsatisfiable_assumption
| Assertion_failed
| Max_depth
| Enumeration_limit
| Unresolved_formula
| Non_executable_code
| Die

Sourcemodule type EXPLORATION_STATISTICS = sig ... end

Sourcemodule type EXPLORATION_STATISTICS_FULL = sig ... end

Sourcemodule type QUERY_STATISTICS = sig ... end

Sourcemodule type STATE_FACTORY = functor (QS : QUERY_STATISTICS) -> RAW_STATE

Sourcemodule type WORKLIST = sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Libsse/Types/index.html

Module `Libsse.Types`Source

package binsec

Install

Dune Dependency

Authors

Maintainers

Sources

doc/binsec.sse/Libsse/Types/index.html

Module Libsse.TypesSource

Module `Libsse.Types`Source