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         # include/linux/netfilter/ipset/ip_set.h:402 ip_set_get_h32() info: returns_user_data 1 static
  49         $type = 3;  # USER_DATA
  50         $return_value = '';
  51         $key = '';
  52         $value = '';
  53         ($file_and_line, $func, $dummy, $dummy, $return_id, $gs) = split(/ /, $_);
  54         $param = -1;
  55     } else {
  56         next;
  57     }
  58
  59     ($file, $dummy) = split(/:/, $file_and_line);
  60
  61     $func =~ s/\(\)//;
  62     $return_value =~ s/'//g;
  63     $key =~ s/'//g;
  64     $value =~ s/'//g;
  65
  66     $static = 0;
  67     if ($gs =~ /static/) {
  68         $static = 1;
  69     }
  70
  71     # print("insert into return_states values ('$file', '$func', $return_id, $return_value, $static, $type, $param, '$key', '$value')\n");
  72     $db->do("insert into return_states values ('$file', '$func', $return_id, '$return_value', $static, $type, $param, '$key', '$value')\n");
  73 }
  74
  75 $db->commit();
  76 $db->disconnect();