smatch_scripts/db/fill_db_type_size.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 type_size;");
  19
  20 my $types = {};
  21
  22 open(WARNS, "<$warns");
  23 while (<WARNS>) {
  24     if (!($_ =~ / allocated_buf_size /)) {
  25         next;
  26     }
  27
  28     # lib/prio_heap.c:12 heap_init() info: '(struct ptr_heap)->ptrs' allocated_buf_size 4096
  29
  30     s/\n//;
  31     s/'//g;
  32
  33     my ($dummy, $struct_bit, $member, $size);
  34     ($dummy, $dummy, $dummy, $struct_bit, $member, $dummy, $size) = split(/ /, $_);
  35
  36     if (!defined($size)) {
  37         next;
  38     }
  39     if (!($struct_bit =~ /^\(struct$/)) {
  40         next;
  41     }
  42
  43     if (defined($types->{$member}) && $types->{$member} != $size) {
  44         $size = -1;
  45     }
  46
  47     $types->{$member} = $size;
  48 }
  49
  50 foreach my $key (keys($types)) {
  51     if ($types->{$key} != -1) {
  52         $db->do("insert into type_size values ('(struct $key', '$types->{$key}')\n");
  53     }
  54 }
  55
  56 $db->commit();
  57 $db->disconnect();