this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Ivan Gotovchits <ivg@ieee.org>"
3authors: [
4 "Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>"
5 "Ivan Gotovchits <ivg@ieee.org>"
6]
7homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
8bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/"
9dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
10license: "MIT"
11
12depends: [
13 "ocaml"
14 "bap-emacs-mode" {= "0.1"}
15 "bap-emacs-dot" {= "0.1"}
16]
17post-messages: [
18 " Apppend this to your .emacs:
19 ;; Add opam emacs directory to you load paths:
20 (defun opam-path (path)
21 (let ((opam-share-dir (ignore-errors (car (process-lines \"opam\" \"config\" \"var\" \"share\")))))
22 (concat opam-share-dir \"/\" path)))
23 (add-to-list 'load-path (opam-path \"emacs/site-lisp\"))
24 ;; load bap-emacs-goodies
25 (require \'bap-mode)
26 (require \'dot)
27"
28]
29synopsis: "A collection of useful Emacs tools for BAP"
30description: """
31bap-mode
32Emacs major mode for reading and analyzing programs in BAP's IR.
33It allows to interact with BAP from within emacs. For example, bap-open-file (C-c C-b o) opens
34a file with BAP and emits the IR to an Emacs buffer. bap-mode hightlights the syntax and allows
35to quickly navigate the code (e.g. C-c C-b m to jump to the main function).
36https://github.com/fkie-cad/bap-mode
37
38emacs-dot
39Will automatically detect graph specifications in a dot syntax and display them using overlaying.
40https://github.com/ivg/emacs-dot"""