8 if (!defined($warns)) {
9 print "usage: $0 <warns.txt>\n";
13 my $db = DBI
->connect("dbi:SQLite:smatch_db.sqlite", "", "", {AutoCommit
=> 0});
14 $db->do("PRAGMA synchronous = OFF");
15 $db->do("PRAGMA cache_size = 800000");
16 $db->do("PRAGMA journal_mode = OFF");
18 $db->do("delete from return_states;");
22 my ($file_and_line, $file, $dummy, $func, $return_id, $return_value, $key, $value, $gs);
25 open(WARNS
, "<$warns");
28 if ($_ =~ /info: return_marker/) {
29 # net/ipv4/inet_diag.c:363 bitstring_match() info: return_marker 1 '1' static
32 ($file_and_line, $func, $dummy, $dummy, $return_id, $return_value, $gs) = split(/ /, $_);
35 } elsif ($_ =~ /info: returns_locked/) {
36 # net/ipv4/inet_diag.c:363 bitstring_match() info: returns_locked 1 '0' 'spin_lock:lock' static
37 $type = 9; # LOCK_HELD
39 ($file_and_line, $func, $dummy, $dummy, $return_id, $return_value, $key, $gs) = split(/ /, $_);
41 } elsif ($_ =~ /info: returns_released/) {
42 # net/ipv4/inet_diag.c:363 bitstring_match() info: returns_locked 1 '0' 'spin_lock:lock' static
43 $type = 10; # LOCK_RELEASED
45 ($file_and_line, $func, $dummy, $dummy, $return_id, $return_value, $key, $gs) = split(/ /, $_);
47 } elsif ($_ =~ /info: returns_user_data/) {
48 # net/netfilter/ipset/ip_set_hash_netiface.c:402 ip_set_get_h32() info: returns_user_data 1 '' static
49 $type = 3; # USER_DATA
52 ($file_and_line, $func, $dummy, $dummy, $return_id, $return_value, $gs) = split(/ /, $_);
54 } elsif ($_ =~ /info: return_allocation /) {
55 # drivers/net/usb/hso.c:2374 hso_create_device() info: return_allocation 2 'min-max' '456' static
58 ($file_and_line, $func, $dummy, $dummy, $return_id, $dummy) = split(/ /, $_);
59 ($dummy, $return_value, $dummy, $value, $gs) = split(/'/, $_);
61 } elsif ($_ =~ /info: return_value /) {
62 # test.c:15 alloc_foo() info: return_value 1 '4096-s64max' '$$->x' '1' global
63 $type = 5; # RETURN_VALUE
64 ($file_and_line, $func, $dummy, $dummy, $return_id, $dummy) = split(/ /, $_);
65 ($dummy, $return_value, $dummy, $key, $dummy, $value, $gs) = split(/'/, $_);
67 } elsif ($_ =~ /info: return_value_param /) {
68 # test.c:11 set_int() info: return_value_param 0 0 '' '*$$' '1' global
69 $type = 1; # PARAM_VALUE
70 ($file_and_line, $func, $dummy, $dummy, $return_id, $param, $dummy) = split(/ /, $_);
71 ($dummy, $return_value, $dummy, $key, $dummy, $value, $gs) = split(/'/, $_);
72 } elsif ($_ =~ /info: return_param_limit /) {
73 # crypto/zlib.c:52 zlib_comp_exit() info: return_param_limit 1 0 '' '$$' '4096-s64max' static
74 $type = 11; # LIMITED_VALUE
75 ($file_and_line, $func, $dummy, $dummy, $return_id, $param, $dummy) = split(/ /, $_);
76 ($dummy, $return_value, $dummy, $key, $dummy, $value, $gs) = split(/'/, $_);
77 } elsif ($_ =~ /info: return_param_filter /) {
78 # crypto/af_alg.c:267 af_alg_accept() info: return_param_filter 3 1 '(-12)' '$$->state' '3' global
79 $type = 13; # FILTER_VALUE
80 ($file_and_line, $func, $dummy, $dummy, $return_id, $param, $dummy) = split(/ /, $_);
81 ($dummy, $return_value, $dummy, $key, $dummy, $value, $gs) = split(/'/, $_);
82 } elsif ($_ =~ /info: return_param_add /) {
83 # crypto/af_alg.c:267 af_alg_accept() info: return_param_add 3 1 '(-12)' '$$->state' '3' global
84 $type = 12; # ADDED_VALUE
85 ($file_and_line, $func, $dummy, $dummy, $return_id, $param, $dummy) = split(/ /, $_);
86 ($dummy, $return_value, $dummy, $key, $dummy, $value, $gs) = split(/'/, $_);
91 ($file, $dummy) = split(/:/, $file_and_line);
94 $return_value =~ s/'//g;
99 if ($gs =~ /static/) {
103 $db->do("insert into return_states values ('$file', '$func', $return_id, '$return_value', $static, $type, $param, '$key', '$value')\n");