Code

goto-gcc hybrid binaries on OS X#3867

Code

Merged

tautschnig merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:osx-hybrid-binariestautschnig/cbmc:osx-hybrid-binariesCopy head branch name to clipboard

Apr 30, 2019

Commits

Commits on Apr 30, 2019

• OS X hybrid binaries: use sections for object files

  Show description for 4a40717
  tautschnig

  committed
  4a40717

  Copy full SHA for 4a40717

• Read goto-cc section from Mach-O object files

  Show description for c1108c9
  tautschnig

  committed
  c1108c9

  Copy full SHA for c1108c9

• Test loading files from an archive

  Show description for d155d87
  tautschnig

  committed
  d155d87

  Copy full SHA for d155d87

• Detect OSX fat archives or Mach-O objects on all architectures

  Show description for c7e8bcc
  tautschnig

  committed
  c7e8bcc

  Copy full SHA for c7e8bcc