This repository has been archived by the owner on Jun 26, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
debug.c
76 lines (66 loc) · 2.16 KB
/
debug.c
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
/*
Armator - simulateur de jeu d'instruction ARMv5T à but pédagogique
Copyright (C) 2011 Guillaume Huard
Ce programme est libre, vous pouvez le redistribuer et/ou le modifier selon les
termes de la Licence Publique Générale GNU publiée par la Free Software
Foundation (version 2 ou bien toute autre version ultérieure choisie par vous).
Ce programme est distribué car potentiellement utile, mais SANS AUCUNE
GARANTIE, ni explicite ni implicite, y compris les garanties de
commercialisation ou d'adaptation dans un but spécifique. Reportez-vous à la
Licence Publique Générale GNU pour plus de détails.
Vous devez avoir reçu une copie de la Licence Publique Générale GNU en même
temps que ce programme ; si ce n'est pas le cas, écrivez à la Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307,
États-Unis.
Contact: [email protected]
Bâtiment IMAG
700 avenue centrale, domaine universitaire
38401 Saint Martin d'Hères
*/
#include <ctype.h>
#include <stdio.h>
#include <string.h>
#define MAX_FILES_NUMBER 64
char *debugged_files[MAX_FILES_NUMBER];
int nb_debugged_files = 0;
void add_debug_to(char *name) {
int i = 0, j;
while ((i < nb_debugged_files) && (i < MAX_FILES_NUMBER) &&
(strcmp(debugged_files[i], name) < 0)) {
i++;
}
if (i >= MAX_FILES_NUMBER)
return;
for (j = nb_debugged_files; j > i; j--)
debugged_files[j] = debugged_files[j - 1];
debugged_files[i] = name;
nb_debugged_files++;
}
int __is_debugged(char *name) {
int from, to, middle, result;
from = 0;
to = nb_debugged_files - 1;
while (from < to) {
middle = (from + to) / 2;
result = strcmp(debugged_files[middle], name);
if (result < 0)
from = middle + 1;
else if (result > 0)
to = middle - 1;
else
return 1;
}
if ((from == to) && (strcmp(debugged_files[from], name) == 0))
return 1;
return 0;
}
int __debug_raw_binary(char *data, int len) {
while (len--) {
if (isprint(*data))
fprintf(stderr, "%c", *data);
else
fprintf(stderr, ".");
data++;
}
return 0;
}