LogicMem

Introduction

This repository contains the code developed for the paper "LogicMem: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference".

@article{logicmem,
  title={LogicMem: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference},
  author={Qi, Zhenxiao, Qu, Yu, and Yin, Heng},
  journal={Proceedings of the Annual Network and Distributed System Security Symposium ({NDSS'22})},
  year = 2022
}

Currently, the logic rules are being transformed into python constraints for performance purposes. Original logic rules can be found in rules folder