package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

Dune Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.6.3.tbz

sha256=108b575f2b5405814cab41e34d15602045cc708c4b11ebb662a49ca759b3a37c

sha512=3c17273fc1deb160bc1bccf827e9afaec50715ee46d0b8e232be7599a0cd7c91f8422d59ea4d18f72c6133d9d026e21786b0d7c7ce8f394784f2cc350d9ada07

doc/binsec.sse/Se/Sse_options/index.html

Module `Se.Sse_options`Source

Definition of command-line & programmatic options for SSE

include Binsec.Cli.S

val is_enabled : unit -> bool

module Logger : Binsec.Logger.S

Sourcemodule AlternativeEngine : Binsec.Cli.BOOLEAN

Sourcemodule MaxDepth : Binsec.Cli.INTEGER

Sourcemodule TransientEnum : Binsec.Cli.INTEGER

Sourcemodule JumpEnumDepth : Binsec.Cli.INTEGER

Sourcemodule Randomize : Binsec.Cli.BOOLEAN

Sourcemodule AvoidAddresses : Binsec.Cli.STRING_SET

Sourcemodule GoalAddresses : Binsec.Cli.STRING_SET

Sourcemodule LoadSections : Binsec.Cli.STRING_SET

Sourcemodule LoadROSections : Binsec.Cli.BOOLEAN

Sourcemodule MemoryFile : Binsec.Cli.STRING_OPT

Sourcemodule ScriptFiles : Binsec.Cli.STRING_LIST

Sourcemodule Comment : Binsec.Cli.BOOLEAN

Sourcemodule Timeout : Binsec.Cli.INTEGER_OPT

Sourcemodule Address_counter : sig ... end

Source

module Visit_address_counter : 
  Binsec.Cli.CHECKABLE with type t = Address_counter.t list

Sourcetype search_heuristics =

| Dfs
| Bfs
| Nurs

Sourcemodule Search_heuristics : Binsec.Cli.GENERIC with type t = search_heuristics

Sourcemodule Solver_call_frequency : Binsec.Cli.INTEGER

Define the frequency -- in terms of number of conditionals -- with which we call the solver

Sourcemodule Seed : Binsec.Cli.INTEGER_OPT

Seed for the random number generator

Sourcemodule Directives : Binsec.Cli.GENERIC with type t = Binsec.Directive.t list

Sourcemodule Dot_filename_out : Binsec.Cli.STRING_OPT