package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file breakpoint.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
(****************************************************************************)
(*                                                                          *)
(* This file is part of MOPSA, a Modular Open Platform for Static Analysis. *)
(*                                                                          *)
(* Copyright (C) 2017-2021 The MOPSA Project.                               *)
(*                                                                          *)
(* This program is free software: you can redistribute it and/or modify     *)
(* it under the terms of the GNU Lesser General Public License as published *)
(* by the Free Software Foundation, either version 3 of the License, or     *)
(* (at your option) any later version.                                      *)
(*                                                                          *)
(* This program is distributed in the hope that it will be useful,          *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of           *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the            *)
(* GNU Lesser General Public License for more details.                      *)
(*                                                                          *)
(* You should have received a copy of the GNU Lesser General Public License *)
(* along with this program.  If not, see <http://www.gnu.org/licenses/>.    *)
(*                                                                          *)
(****************************************************************************)

(** Breakpoints for the interactive mode *)

open Mopsa_utils
open Core.All
open Format
open Location


(** Breakpoint *)
type breakpoint =
  | B_function of string (** function *)
  (** Break at the beginning of a function  *)

  | B_line of string (** file *) * int (** line *)
  (** Break at line *)

  | B_named of string
  (** Named breakpoint *) 

  | B_alarm
  (** Break on new alarms *)


(** Compare two breakpoints *)
let compare_breakpoint b1 b2 : int =
  match b1, b2 with
  | B_function(f1), B_function(f2) ->
    compare f1 f2

  | B_line(file1,line1), B_line(file2,line2) ->
    Compare.pair compare compare (file1,line1) (file2,line2)

  | B_named b1, B_named b2 ->
    String.compare b1 b2

  | B_alarm, B_alarm -> 0

  | _ -> compare b1 b2


(** Print a breakpoint *)
let pp_breakpoint fmt = function
  | B_function f -> Format.fprintf fmt "%s" f
  | B_line(file,line) -> Format.fprintf fmt "%s:%d" file line
  | B_named b -> Format.fprintf fmt "@%s" b
  | B_alarm -> Format.pp_print_string fmt "#alarm"


(** Set of breakpoints *)
module BreakpointSet = SetExt.Make(struct
    type t = breakpoint let
    compare = compare_breakpoint
  end)


(** Print a set of breakpoints *)
let pp_breakpoint_set fmt bs =
  Format.fprintf fmt "@[<v>%a@]"
    (Format.pp_print_list ~pp_sep:(fun fmt () -> Format.fprintf fmt "@,") pp_breakpoint)
    (BreakpointSet.elements bs)



(** Exception raised when parsing an invalid breakpoint string *)
exception Invalid_breakpoint_syntax


(** Parse a breakpoint string *)
let parse_breakpoint default_file (s:string) : breakpoint =
  if Str.string_match (Str.regexp "@\\(.+\\)$") s 0
  then
    let name = Str.matched_group 1 s in
    B_named name else

  if Str.string_match (Str.regexp "#alarm$") s 0 ||
     Str.string_match (Str.regexp "#a$") s 0
  then
    B_alarm else

  if Str.string_match (Str.regexp "\\([0-9]+\\)$") s 0
  then
    let file = default_file in
    let line = int_of_string (Str.matched_group 1 s) in
    B_line(file, line) else

  if Str.string_match (Str.regexp "\\(.+\\):\\([0-9]+\\)$") s 0
  then
    let file = Str.matched_group 1 s in
    let line = int_of_string (Str.matched_group 2 s) in
    B_line(file, line) else

  if Str.string_match (Str.regexp "\\([^0-9].*\\)$") s 0
  then
    let func = Str.matched_group 1 s in
    B_function(func)

  else raise Invalid_breakpoint_syntax

(** Set of active breakpoints *)
let breakpoints = ref BreakpointSet.empty
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct