smatch_scripts/db/fill_db_return_states.pl

   1 #!/usr/bin/perl -w
   2
   3 use strict;
   4 use DBI;
   5
   6 my $warns = shift;
   7
   8 if (!defined($warns)) {
   9     print "usage:  $0 <warns.txt>\n";
  10     exit(1);
  11 }
  12
  13 my $db = DBI->connect("dbi:SQLite:smatch_db.sqlite", "", "", {RaiseError => 1, AutoCommit => 0});
  14 $db->do("PRAGMA synchronous = OFF");
  15 $db->do("PRAGMA cache_size = 800000");
  16 $db->do("PRAGMA journal_mode = OFF");
  17
  18 $db->do("delete from return_states;");
  19
  20 my $type;
  21 my $param;
  22 my ($file_and_line, $file, $dummy, $func, $return_id, $return_value, $key, $value, $gs);
  23 my $static;
  24
  25 open(WARNS, "<$warns");
  26 while (<WARNS>) {
  27
  28     if ($_ =~ /info: return_marker/) {
  29         # net/ipv4/inet_diag.c:363 bitstring_match() info: return_marker 1 '1' static
  30         $type = 0; # INTERNAL
  31         $value = '';
  32         ($file_and_line, $func, $dummy, $dummy, $return_id, $return_value, $gs) = split(/ /, $_);
  33         $key = "";
  34         $param = -1;
  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
  38         $value = '';
  39         ($file_and_line, $func, $dummy, $dummy, $return_id, $return_value, $key, $gs) = split(/ /, $_);
  40         $param = -1;
  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
  44         $value = '';
  45         ($file_and_line, $func, $dummy, $dummy, $return_id, $return_value, $key, $gs) = split(/ /, $_);
  46         $param = -1;
  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
  50         $key = '';
  51         $value = '';
  52         ($file_and_line, $func, $dummy, $dummy, $return_id, $return_value, $gs) = split(/ /, $_);
  53         $param = -1;
  54     } elsif ($_ =~ /info: return_allocation /) {
  55         # drivers/net/usb/hso.c:2374 hso_create_device() info: return_allocation 2 'min-max' '456' static
  56         $type = 2;  # BUF_SIZE
  57         $key = '';
  58         ($file_and_line, $func, $dummy, $dummy, $return_id, $dummy) = split(/ /, $_);
  59         ($dummy, $return_value, $dummy, $value, $gs) = split(/'/, $_);
  60         $param = -1;
  61     } else {
  62         next;
  63     }
  64
  65     ($file, $dummy) = split(/:/, $file_and_line);
  66
  67     $func =~ s/\(\)//;
  68     $return_value =~ s/'//g;
  69     $key =~ s/'//g;
  70     $value =~ s/'//g;
  71
  72     $static = 0;
  73     if ($gs =~ /static/) {
  74         $static = 1;
  75     }
  76
  77     # print("insert into return_states values ('$file', '$func', $return_id, $return_value, $static, $type, $param, '$key', '$value')\n");
  78     $db->do("insert into return_states values ('$file', '$func', $return_id, '$return_value', $static, $type, $param, '$key', '$value')\n");
  79 }
  80
  81 $db->commit();
  82 $db->disconnect();