Symbol.pm 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495
  1. # Copyright © 2007 Raphaël Hertzog <hertzog@debian.org>
  2. # Copyright © 2009-2010 Modestas Vainius <modax@debian.org>
  3. #
  4. # This program is free software; you can redistribute it and/or modify
  5. # it under the terms of the GNU General Public License as published by
  6. # the Free Software Foundation; either version 2 of the License, or
  7. # (at your option) any later version.
  8. #
  9. # This program is distributed in the hope that it will be useful,
  10. # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. # GNU General Public License for more details.
  13. #
  14. # You should have received a copy of the GNU General Public License
  15. # along with this program. If not, see <http://www.gnu.org/licenses/>.
  16. package Dpkg::Shlibs::Symbol;
  17. use strict;
  18. use warnings;
  19. use Dpkg::Gettext;
  20. use Dpkg::Deps;
  21. use Dpkg::ErrorHandling;
  22. use Dpkg::Version;
  23. use Storable qw();
  24. use Dpkg::Shlibs::Cppfilt;
  25. # Supported alias types in the order of matching preference
  26. use constant 'ALIAS_TYPES' => qw(c++ symver);
  27. sub new {
  28. my $this = shift;
  29. my $class = ref($this) || $this;
  30. my %args = @_;
  31. my $self = bless {
  32. symbol => undef,
  33. symbol_templ => undef,
  34. minver => undef,
  35. dep_id => 0,
  36. deprecated => 0,
  37. tags => {},
  38. tagorder => [],
  39. }, $class;
  40. $self->{$_} = $args{$_} foreach keys %args;
  41. return $self;
  42. }
  43. # Shallow clone
  44. sub sclone {
  45. my $self = shift;
  46. my $clone = { %$self };
  47. if (@_) {
  48. my %args=@_;
  49. $clone->{$_} = $args{$_} foreach keys %args;
  50. }
  51. return bless $clone, ref $self;
  52. }
  53. # Deep clone
  54. sub dclone {
  55. my $self = shift;
  56. my $clone = Storable::dclone($self);
  57. if (@_) {
  58. my %args=@_;
  59. $clone->{$_} = $args{$_} foreach keys %args;
  60. }
  61. return $clone;
  62. }
  63. sub parse_tagspec {
  64. my ($self, $tagspec) = @_;
  65. if ($tagspec =~ /^\((.*?)\)(.*)$/ && $1) {
  66. # (tag1=t1 value|tag2|...|tagN=tNp)
  67. # Symbols ()|= cannot appear in the tag names and values
  68. my $tagspec = $1;
  69. my $rest = ($2) ? $2 : "";
  70. my @tags = split(/\|/, $tagspec);
  71. # Parse each tag
  72. for my $tag (@tags) {
  73. if ($tag =~ /^(.*)=(.*)$/) {
  74. # Tag with value
  75. $self->add_tag($1, $2);
  76. } else {
  77. # Tag without value
  78. $self->add_tag($tag, undef);
  79. }
  80. }
  81. return $rest;
  82. }
  83. return undef;
  84. }
  85. sub parse {
  86. my ($self, $symbolspec) = @_;
  87. my $symbol;
  88. my $symbol_templ;
  89. my $symbol_quoted;
  90. my $rest;
  91. if (defined($symbol = $self->parse_tagspec($symbolspec))) {
  92. # (tag1=t1 value|tag2|...|tagN=tNp)"Foo::Bar::foobar()"@Base 1.0 1
  93. # Symbols ()|= cannot appear in the tag names and values
  94. # If the tag specification exists symbol name template might be quoted too
  95. if ($symbol =~ /^(['"])/ && $symbol =~ /^($1)(.*?)$1(.*)$/) {
  96. $symbol_quoted = $1;
  97. $symbol_templ = $2;
  98. $symbol = $2;
  99. $rest = $3;
  100. } else {
  101. if ($symbol =~ m/^(\S+)(.*)$/) {
  102. $symbol_templ = $1;
  103. $symbol = $1;
  104. $rest = $2;
  105. }
  106. }
  107. error(_g("symbol name unspecified: %s"), $symbolspec) if (!$symbol);
  108. } else {
  109. # No tag specification. Symbol name is up to the first space
  110. # foobarsymbol@Base 1.0 1
  111. if ($symbolspec =~ m/^(\S+)(.*)$/) {
  112. $symbol = $1;
  113. $rest = $2;
  114. } else {
  115. return 0;
  116. }
  117. }
  118. $self->{symbol} = $symbol;
  119. $self->{symbol_templ} = $symbol_templ;
  120. $self->{symbol_quoted} = $symbol_quoted if ($symbol_quoted);
  121. # Now parse "the rest" (minver and dep_id)
  122. if ($rest =~ /^\s(\S+)(?:\s(\d+))?/) {
  123. $self->{minver} = $1;
  124. $self->{dep_id} = defined($2) ? $2 : 0;
  125. } else {
  126. return 0;
  127. }
  128. return 1;
  129. }
  130. # A hook for symbol initialization (typically processing of tags). The code
  131. # here may even change symbol name. Called from
  132. # Dpkg::Shlibs::SymbolFile::create_symbol().
  133. sub initialize {
  134. my $self = shift;
  135. # Look for tags marking symbol patterns. The pattern may match multiple
  136. # real symbols.
  137. my $type;
  138. if ($self->has_tag('c++')) {
  139. # Raw symbol name is always demangled to the same alias while demangled
  140. # symbol name cannot be reliably converted back to raw symbol name.
  141. # Therefore, we can use hash for mapping.
  142. $type = 'alias-c++';
  143. }
  144. # Support old style wildcard syntax. That's basically a symver
  145. # with an optional tag.
  146. if ($self->get_symbolname() =~ /^\*@(.*)$/) {
  147. $self->add_tag("symver") unless $self->has_tag("symver");
  148. $self->add_tag("optional") unless $self->has_tag("optional");
  149. $self->{symbol} = $1;
  150. }
  151. if ($self->has_tag('symver')) {
  152. # Each symbol is matched against its version rather than full
  153. # name@version string.
  154. $type = (defined $type) ? 'generic' : 'alias-symver';
  155. if ($self->get_symbolname() eq "Base") {
  156. error(_g("you can't use symver tag to catch unversioned symbols: %s"),
  157. $self->get_symbolspec(1));
  158. }
  159. }
  160. # As soon as regex is involved, we need to match each real
  161. # symbol against each pattern (aka 'generic' pattern).
  162. if ($self->has_tag('regex')) {
  163. $type = 'generic';
  164. # Pre-compile regular expression for better performance.
  165. my $regex = $self->get_symbolname();
  166. $self->{pattern}{regex} = qr/$regex/;
  167. }
  168. if (defined $type) {
  169. $self->init_pattern($type);
  170. }
  171. }
  172. sub get_symbolname {
  173. return $_[0]->{symbol};
  174. }
  175. sub get_symboltempl {
  176. return $_[0]->{symbol_templ} || $_[0]->{symbol};
  177. }
  178. sub set_symbolname {
  179. my ($self, $name, $quoted) = @_;
  180. if (defined $name) {
  181. $self->{symbol} = $name;
  182. }
  183. $self->{symbol_templ} = undef;
  184. if ($quoted) {
  185. $self->{symbol_quoted} = $quoted;
  186. } else {
  187. delete $self->{symbol_quoted};
  188. }
  189. }
  190. sub has_tags {
  191. my $self = shift;
  192. return scalar (@{$self->{tagorder}});
  193. }
  194. sub add_tag {
  195. my ($self, $tagname, $tagval) = @_;
  196. if (exists $self->{tags}{$tagname}) {
  197. $self->{tags}{$tagname} = $tagval;
  198. return 0;
  199. } else {
  200. $self->{tags}{$tagname} = $tagval;
  201. push @{$self->{tagorder}}, $tagname;
  202. }
  203. return 1;
  204. }
  205. sub delete_tag {
  206. my ($self, $tagname) = @_;
  207. if (exists $self->{tags}{$tagname}) {
  208. delete $self->{tags}{$tagname};
  209. $self->{tagorder} = [ grep { $_ ne $tagname } @{$self->{tagorder}} ];
  210. return 1;
  211. }
  212. return 0;
  213. }
  214. sub has_tag {
  215. my ($self, $tag) = @_;
  216. return exists $self->{tags}{$tag};
  217. }
  218. sub get_tag_value {
  219. my ($self, $tag) = @_;
  220. return $self->{tags}{$tag};
  221. }
  222. # Checks if the symbol is equal to another one (by name and tag set)
  223. sub equals {
  224. my ($self, $other) = @_;
  225. # Compare names and tag sets
  226. return 0 if $self->{symbol} ne $other->{symbol};
  227. return 0 if scalar(@{$self->{tagorder}}) != scalar(@{$other->{tagorder}});
  228. for (my $i = 0; $i < scalar(@{$self->{tagorder}}); $i++) {
  229. my $tag = $self->{tagorder}->[$i];
  230. return 0 if $tag ne $other->{tagorder}->[$i];
  231. if (defined $self->{tags}{$tag} && defined $other->{tags}{$tag}) {
  232. return 0 if $self->{tags}{$tag} ne defined $other->{tags}{$tag};
  233. } elsif (defined $self->{tags}{$tag} || defined $other->{tags}{$tag}) {
  234. return 0;
  235. }
  236. }
  237. return 1;
  238. }
  239. sub is_optional {
  240. my $self = shift;
  241. return $self->has_tag("optional");
  242. }
  243. sub is_arch_specific {
  244. my $self = shift;
  245. return $self->has_tag("arch");
  246. }
  247. sub arch_is_concerned {
  248. my ($self, $arch) = @_;
  249. my $arches = $self->{tags}{arch};
  250. if (defined $arch && defined $arches) {
  251. my $dep = Dpkg::Deps::Simple->new();
  252. my @arches = split(/[\s,]+/, $arches);
  253. $dep->{package} = "dummy";
  254. $dep->{arches} = \@arches;
  255. return $dep->arch_is_concerned($arch);
  256. }
  257. return 1;
  258. }
  259. # Get reference to the pattern the symbol matches (if any)
  260. sub get_pattern {
  261. return $_[0]->{matching_pattern};
  262. }
  263. ### NOTE: subroutines below require (or initialize) $self to be a pattern ###
  264. # Initialises this symbol as a pattern of the specified type.
  265. sub init_pattern {
  266. my ($self, $type) = @_;
  267. $self->{pattern}{type} = $type;
  268. # To be filled with references to symbols matching this pattern.
  269. $self->{pattern}{matches} = [];
  270. }
  271. # Is this symbol a pattern or not?
  272. sub is_pattern {
  273. return exists $_[0]->{pattern};
  274. }
  275. # Get pattern type if this symbol is a pattern.
  276. sub get_pattern_type {
  277. return $_[0]->{pattern}{type} || "";
  278. }
  279. # Get (sub)type of the alias pattern. Returns empty string if current
  280. # pattern is not alias.
  281. sub get_alias_type {
  282. return ($_[0]->get_pattern_type() =~ /^alias-(.+)/ && $1) || "";
  283. }
  284. # Get a list of symbols matching this pattern if this symbol is a pattern
  285. sub get_pattern_matches {
  286. return @{$_[0]->{pattern}{matches}};
  287. }
  288. # Create a new symbol based on the pattern (i.e. $self)
  289. # and add it to the pattern matches list.
  290. sub create_pattern_match {
  291. my $self = shift;
  292. return undef unless $self->is_pattern();
  293. # Leave out 'pattern' subfield while deep-cloning
  294. my $pattern_stuff = $self->{pattern};
  295. delete $self->{pattern};
  296. my $newsym = $self->dclone(@_);
  297. $self->{pattern} = $pattern_stuff;
  298. # Clean up symbol name related internal fields
  299. $newsym->set_symbolname();
  300. # Set newsym pattern reference, add to pattern matches list
  301. $newsym->{matching_pattern} = $self;
  302. push @{$self->{pattern}{matches}}, $newsym;
  303. return $newsym;
  304. }
  305. ### END of pattern subroutines ###
  306. # Given a raw symbol name the call returns its alias according to the rules of
  307. # the current pattern ($self). Returns undef if the supplied raw name is not
  308. # transformable to alias.
  309. sub convert_to_alias {
  310. my ($self, $rawname, $type) = @_;
  311. $type = $self->get_alias_type() unless $type;
  312. if ($type) {
  313. if ($type eq 'symver') {
  314. # In case of symver, alias is symbol version. Extract it from the
  315. # rawname.
  316. return "$1" if ($rawname =~ /\@([^@]+)$/);
  317. } elsif ($rawname =~ /^_Z/ && $type eq "c++") {
  318. return cppfilt_demangle($rawname, "auto");
  319. }
  320. }
  321. return undef;
  322. }
  323. sub get_tagspec {
  324. my ($self) = @_;
  325. if ($self->has_tags()) {
  326. my @tags;
  327. for my $tagname (@{$self->{tagorder}}) {
  328. my $tagval = $self->{tags}{$tagname};
  329. if (defined $tagval) {
  330. push @tags, $tagname . "=" . $tagval;
  331. } else {
  332. push @tags, $tagname;
  333. }
  334. }
  335. return "(". join("|", @tags) . ")";
  336. }
  337. return "";
  338. }
  339. sub get_symbolspec {
  340. my $self = shift;
  341. my $template_mode = shift;
  342. my $spec = "";
  343. $spec .= "#MISSING: $self->{deprecated}#" if $self->{deprecated};
  344. $spec .= " ";
  345. if ($template_mode) {
  346. if ($self->has_tags()) {
  347. $spec .= sprintf('%s%3$s%s%3$s', $self->get_tagspec(),
  348. $self->get_symboltempl(), $self->{symbol_quoted} || "");
  349. } else {
  350. $spec .= $self->get_symboltempl();
  351. }
  352. } else {
  353. $spec .= $self->get_symbolname();
  354. }
  355. $spec .= " $self->{minver}";
  356. $spec .= " $self->{dep_id}" if $self->{dep_id};
  357. return $spec;
  358. }
  359. # Sanitize the symbol when it is confirmed to be found in
  360. # the respective library.
  361. sub mark_found_in_library {
  362. my ($self, $minver, $arch) = @_;
  363. if ($self->{deprecated}) {
  364. # Symbol reappeared somehow
  365. $self->{deprecated} = 0;
  366. $self->{minver} = $minver if (not $self->is_optional());
  367. } else {
  368. # We assume that the right dependency information is already
  369. # there.
  370. if (version_compare($minver, $self->{minver}) < 0) {
  371. $self->{minver} = $minver;
  372. }
  373. }
  374. # Never remove arch tags from patterns
  375. if (not $self->is_pattern()) {
  376. if (not $self->arch_is_concerned($arch)) {
  377. # Remove arch tag because it is incorrect.
  378. $self->delete_tag('arch');
  379. }
  380. }
  381. }
  382. # Sanitize the symbol when it is confirmed to be NOT found in
  383. # the respective library.
  384. # Mark as deprecated those that are no more provided (only if the
  385. # minver is bigger than the version where the symbol was introduced)
  386. sub mark_not_found_in_library {
  387. my ($self, $minver, $arch) = @_;
  388. # Ignore symbols from foreign arch
  389. return if not $self->arch_is_concerned($arch);
  390. if ($self->{deprecated}) {
  391. # Bump deprecated if the symbol is optional so that it
  392. # keeps reappering in the diff while it's missing
  393. $self->{deprecated} = $minver if $self->is_optional();
  394. } elsif (version_compare($minver, $self->{minver}) > 0) {
  395. $self->{deprecated} = $minver;
  396. }
  397. }
  398. # Quickly checks if the symbol (or pattern) can be considered as new due to its
  399. # status or current environment settings.
  400. sub is_eligible_as_new {
  401. my ($self, $arch) = @_;
  402. return ! $self->{deprecated} &&
  403. ! $self->is_optional() &&
  404. $self->arch_is_concerned($arch);
  405. }
  406. # Determine whether a supplied raw symbol name matches against current ($self)
  407. # symbol or pattern.
  408. sub matches_rawname {
  409. my ($self, $rawname) = @_;
  410. my $target = $rawname;
  411. my $ok = 1;
  412. my $do_eq_match = 1;
  413. if ($self->is_pattern()) {
  414. # Process pattern tags in the order they were specified.
  415. for my $tag (@{$self->{tagorder}}) {
  416. if (grep { $tag eq $_ } ALIAS_TYPES) {
  417. $ok = not not ($target = $self->convert_to_alias($target, $tag));
  418. } elsif ($tag eq "regex") {
  419. # Symbol name is a regex. Match it against the target
  420. $do_eq_match = 0;
  421. $ok = ($target =~ $self->{pattern}{regex});
  422. }
  423. last if not $ok;
  424. }
  425. }
  426. # Equality match by default
  427. if ($ok && $do_eq_match) {
  428. $ok = $target eq $self->get_symbolname();
  429. }
  430. return $ok;
  431. }
  432. 1;