GNU binutils - Githubissues

michael-schwarz commented 2 years ago

https://www.gnu.org/software/binutils/ at a7664973b24a242cd9ea17deb5eaf503065fc0bd

ld (in binutils-gdb/ld)
```
./configure
bear -- make
./goblint -v .
```
gas (in binutils-gdb/gas)
```
./configure
bear -- make
./goblint -v .
```

Summary for all memory locations:
    safe:         1092
    vulnerable:     10
    unsafe:         25
    -------------------
    total:        1127

vars = 9250    evals = 29221  

Timings:
TOTAL                          105.330 s
  parse                           2.454 s
  convert to CIL                  2.649 s
  analysis                       100.229 s
    global_inits                    5.331 s
    solving                        94.394 s
      S.Dom.equal                     0.068 s
      postsolver                     11.994 s
    warn_global                     0.014 s
Timing used
Memory statistics: total=133764.52MB, max=534.03MB, minor=133690.82MB, major=2984.20MB, promoted=2910.50MB
    minor collections=63783  major collections=38 compactions=0

Found dead code on 16504 lines (including 16405 in uncalled functions)!
Total lines (logical LoC): 17964

Probably not too interesting when it comes to the size

sim642 commented 2 years ago


Found dead code on 16504 lines (including 16405 in uncalled functions)!
Total lines (logical LoC): 17964```

Is that right though? Almost all of it being dead?

michael-schwarz commented 2 years ago

Is that right though? Almost all of it being dead?

To be fair, I don't trust bear any more, so maybe this one is also just crap.

Btw, the package is actually gdb-binutils they are bundled together into one. However, compiledb fails with /bin/sh: 0: Illegal option -- for gas and ld.

goblint / bench

GNU binutils #11