Attachment 308398 Details for Bug 450011 – First draft implementation

[patch] First draft implementation

shlib-exit.patch (text/plain), 3.48 KB, created by Ville Skyttä on 2008-06-04 20:57:50 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Ville Skyttä

Created: 2008-06-04 20:57:50 UTC

Size: 3.48 KB

patch

obsolete

>Index: BinariesCheck.py
>===================================================================
>--- BinariesCheck.py	(revision 1431)
>+++ BinariesCheck.py	(working copy)
>@@ -34,8 +34,9 @@
>     undef_regex=re.compile('^undefined symbol:\s+(\S+)')
>     unused_regex=re.compile('^\s+(\S+)')
>     debug_file_regex=re.compile('\.debug$')
>+    exit_call_regex = re.compile('\s+FUNC\s+.*?\s+(_?exit(?:@\S+)?)(?:\s|$)')
> 
>-    def __init__(self, pkg, path, file, is_ar):
>+    def __init__(self, pkg, path, file, is_ar, is_shlib):
>         self.had_error=0
>         self.needed=[]
>         self.rpath=[]
>@@ -46,10 +47,11 @@
>         self.non_pic=1
>         self.stack = 0
>         self.exec_stack = 0
>+        self.exit_calls = []
> 
>         is_debug=BinaryInfo.debug_file_regex.search(path)
> 
>-        cmd = ['env', 'LC_ALL=C', 'readelf', '-W', '-S', '-l', '-d']
>+        cmd = ['env', 'LC_ALL=C', 'readelf', '-W', '-S', '-l', '-d', '-s']
>         cmd.append(path)
>         res = Pkg.getstatusoutput(cmd)
>         if not res[0]:
>@@ -87,6 +89,12 @@
>                         self.exec_stack = 1
>                     continue
> 
>+                if is_shlib:
>+                    r = BinaryInfo.exit_call_regex.search(l)
>+                    if r:
>+                        self.exit_calls.append(r.group(1))
>+                        continue
>+
>             if self.non_pic:
>                 self.non_pic=BinaryInfo.non_pic_regex.search(res[1])
>         else:
>@@ -189,6 +197,7 @@
>             is_ar = string.find(i[1], 'current ar archive') != -1
>             is_ocaml_native = string.find(i[1], 'Objective caml native') != -1
>             is_binary = is_elf or is_ar or is_ocaml_native
>+            is_shlib = so_regex.search(i[0])
> 
>             if is_binary:
>                 binary=binary+1
>@@ -214,10 +223,10 @@
>                             printWarning(pkg, 'unstripped-binary-or-object', i[0])
> 
>                         # inspect binary file
>-                        bin_info=BinaryInfo(pkg, pkg.dirName()+i[0], i[0], is_ar)
>+                        bin_info=BinaryInfo(pkg, pkg.dirName()+i[0], i[0], is_ar, is_shlib)
> 
>                         # so name in library
>-                        if so_regex.search(i[0]):
>+                        if is_shlib:
>                             has_lib.append(i[0])
>                             if bin_info.had_error:
>                                 pass
>@@ -254,6 +263,11 @@
>                                     printError(pkg, 'binary-or-shlib-defines-rpath', i[0], bin_info.rpath)
>                                     break
> 
>+                        # shared lib calls exit() or _exit()?
>+                        if is_shlib and bin_info.exit_calls:
>+                            for ec in bin_info.exit_calls:
>+                                printWarning(pkg, 'shared-lib-calls-exit', i[0], ec)
>+
>                         # statically linked ?
>                         is_exec=executable_regex.search(i[1])
>                         if shared_object_regex.search(i[1]) or \
>@@ -291,7 +305,7 @@
>                             # It could be useful to check these for others than
>                             # shared libs only, but that has potential to
>                             # generate lots of false positives and noise.
>-                            if so_regex.search(i[0]):
>+                            if is_shlib:
>                                 for s in bin_info.undef:
>                                     printWarning(pkg, 'undefined-non-weak-symbol', i[0], s)
>                                 for s in bin_info.unused:

Actions: View | Diff

Attachments on bug 450011: 308398 | 312820