[all-commits] [llvm/llvm-project] ceb721: [BOLT] Introduce binary analysis tool based on BOL...

[Kristof Beyls via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ceb7214be0287f536b292a41f8a7dc2e1467d72d
      https://github.com/llvm/llvm-project/commit/ceb7214be0287f536b292a41f8a7dc2e1467d72d
  Author: Kristof Beyls <kristof.beyls at arm.com>
  Date:   2024-12-12 (Thu, 12 Dec 2024)

  Changed paths:
    A bolt/docs/BinaryAnalysis.md
    M bolt/include/bolt/Rewrite/RewriteInstance.h
    M bolt/include/bolt/Utils/CommandLineOpts.h
    M bolt/lib/Rewrite/RewriteInstance.cpp
    M bolt/lib/Utils/CommandLineOpts.cpp
    M bolt/test/CMakeLists.txt
    A bolt/test/binary-analysis/AArch64/Inputs/dummy.txt
    A bolt/test/binary-analysis/AArch64/cmdline-args.test
    A bolt/test/binary-analysis/AArch64/lit.local.cfg
    M bolt/test/lit.cfg.py
    M bolt/tools/CMakeLists.txt
    A bolt/tools/binary-analysis/CMakeLists.txt
    A bolt/tools/binary-analysis/binary-analysis.cpp

  Log Message:
  -----------
  [BOLT] Introduce binary analysis tool based on BOLT (#115330)

This initial commit does not add any specific binary analyses yet, it
merely contains the boilerplate to introduce a new BOLT-based tool.

This basically combines the 4 first patches from the prototype pac-ret
and stack-clash binary analyzer discussed in RFC
https://discourse.llvm.org/t/rfc-bolt-based-binary-analysis-tool-to-verify-correctness-of-security-hardening/78148
and published at
https://github.com/llvm/llvm-project/compare/main...kbeyls:llvm-project:bolt-gadget-scanner-prototype

The introduction of such a BOLT-based binary analysis tool was proposed
and discussed in at least the following places:
- The RFC pointed to above
- EuroLLVM 2024 round table
https://discourse.llvm.org/t/summary-of-bolt-as-a-binary-analysis-tool-round-table-at-eurollvm/78441
The round table showed quite a few people interested in being able to
build a custom binary analysis quickly with a tool like this.
- Also at the US LLVM dev meeting a few weeks ago, I heard interest from
a few people, asking when the tool would be available upstream.
- The presentation "Adding Pointer Authentication ABI support for your
ELF platform"
(https://llvm.swoogo.com/2024devmtg/session/2512720/adding-pointer-authentication-abi-support-for-your-elf-platform)
explicitly mentioned interest to extend the prototype tool to verify
correct implementation of pauthabi.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications