#

powerpc

Here are 2 public repositories matching this topic...

BinaryAnalysisPlatform / bap

Binary Analysis Platform

emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter

Updated Jun 5, 2024
OCaml

johnwickerson / memalloy

Memory consistency modelling using Alloy

opencl x86 armv7 model-checking constraint-solver c11 powerpc memory-model nvidia-gpus compiler-design

Updated Dec 16, 2020
OCaml

Improve this page

Add a description, image, and links to the powerpc topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the powerpc topic, visit your repo's landing page and select "manage topics."