This series adds UACCESS validation for PPC32. It includes a dozen of changes to objtool core.
It applies on top of series "Cleanup/Optimise KUAP (v3)" https://patchwork.ozlabs.org/project/linuxppc-dev/list/?series=363368&state=* It is almost mature, performs code analysis for all PPC32. In this version objtool switch table lookup has been enhanced to handle nested switch tables. Most object files are correctly decoded, only a few 'unreachable instruction' warnings remain due to more complex fonctions which include back and forth jumps or branches. Two types of switch tables are missed at the time being: - When switch table address is temporarily saved in the stack before being used. - When there are backwards jumps in the path. It allowed to detect some UACCESS mess in a few files. They've been fixed through other patches. Changes in v5: - Rebased on top of https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git branch tip/objtool/core - Use generic annotation infrastructure to annotate uaccess begin and end instructions Changes in v4: - Split series in two parts, the powerpc uaccess rework is submitted separately, see https://patchwork.ozlabs.org/project/linuxppc-dev/list/?series=363368&state=* - Support of UACCESS on all PPC32 including book3s/32 which was missing in v3. - More elaborated switch tables lookup. - Patches 2, 7, 8, 9, 10, 11 are new - Patch 11 in series v3 is now removed. Changes in v3: - Rebased on top of a merge of powerpc tree and tip/objtool/core tree - Simplified support for relative switch tables based on relocation type - Taken comments from Peter Christophe Leroy (15): objtool: Fix generic annotation infrastructure cross build objtool: Move back misplaced comment objtool: Allow an architecture to disable objtool on ASM files objtool: Fix JUMP_ENTRY_SIZE for bi-arch like powerpc objtool: Add INSN_RETURN_CONDITIONAL objtool: Add support for relative switch tables objtool: Merge mark_func_jump_tables() and add_func_jump_tables() objtool: Track general purpose register used for switch table base objtool: Find end of switch table directly objtool: When looking for switch tables also follow conditional and dynamic jumps objtool: .rodata.cst{2/4/8/16} are not switch tables objtool: Add support for more complex UACCESS control objtool: Prepare noreturns.h for more architectures powerpc/bug: Annotate reachable after warning trap powerpc: Implement UACCESS validation on PPC32 arch/Kconfig | 5 + arch/powerpc/Kconfig | 2 + arch/powerpc/include/asm/book3s/32/kup.h | 2 + arch/powerpc/include/asm/bug.h | 14 +- arch/powerpc/include/asm/nohash/32/kup-8xx.h | 4 +- arch/powerpc/include/asm/nohash/kup-booke.h | 4 +- arch/powerpc/kexec/core_32.c | 4 +- arch/powerpc/mm/nohash/kup.c | 2 + include/linux/objtool.h | 3 + include/linux/objtool_types.h | 2 + scripts/Makefile.lib | 4 + tools/include/linux/objtool_types.h | 2 + tools/objtool/arch/powerpc/decode.c | 150 +++++++++++++++++- .../arch/powerpc/include/arch/noreturns.h | 11 ++ .../arch/powerpc/include/arch/special.h | 11 +- tools/objtool/arch/powerpc/special.c | 40 ++++- .../objtool/arch/x86/include/arch/noreturns.h | 20 +++ tools/objtool/arch/x86/special.c | 8 +- tools/objtool/check.c | 129 ++++++++++----- tools/objtool/include/objtool/arch.h | 1 + tools/objtool/include/objtool/check.h | 6 +- tools/objtool/include/objtool/special.h | 3 +- tools/objtool/noreturns.h | 14 +- tools/objtool/special.c | 55 ++++--- 24 files changed, 386 insertions(+), 110 deletions(-) create mode 100644 tools/objtool/arch/powerpc/include/arch/noreturns.h create mode 100644 tools/objtool/arch/x86/include/arch/noreturns.h -- 2.47.0
