平台建模的最新技术是什么？

#1 楼

直接检测

在最低级别上，您只需拥有库的副本，然后检查它们是否是所使用的。

基于签名的检测

在更高的层次上，IDA FLIRT仅存储有关库的足够信息以标识其用途。但是它的主要好处是减少了磁盘使用量……值得注意的是，您可以在默认的定义中添加更多的定义。

Hex-Rays在这里深入讨论了该技术。

通用识别

诸如Coverity或Clang静态分析器或KLEE之类的工具更通用，并且更可能包含用于编程习语的模型。

我唯一知道的接近开源的IDA的想法是雷达，它可能具有一定的图书馆认可度。也是radare的主页。我一直在寻找，因为我正在寻找类似IDA的免费支持SPARC的工具，尽管我还没有时间尝试它，但它看起来像radare一样。

从我所知道的REC和Boomerang不能像IDA那样识别库，而只是尝试反编译所有内容。 BAP对二进制文件进行分析，并从BitBlaze项目的Vine组件派生而来，下面的两个项目也是其中的一部分。

流量分析

TEMU和Rudder在这里查看相当先进。并在执行时处理代码。 TEMU有助于将输入和输出与流相关联。

值得注意的是，Bitblaze工具旨在提供可在IDA中使用的跟踪，尽管它们很可能可以用于其他用途。

提供的TEMU听起来最接近您想要的声音。...它允许您标记污染的输入（内存位置，物理输入等），并检测这些污染对执行的影响。如果您想试用TEMU并使用较新的Linux发行版（过去几年中大多数使用GCC 4+的版本），请按照此处的说明进行操作。

#2 楼

我不确定我是否理解问题，但是各种沙盒解决方案（Norman，Androguard）往往会在系统上生成事件日志，这让我对平台及其状态有所了解。
除此之外，不了解任何可帮助您通过静态分析确定系统状态的工具。我使用调试器在可能的情况下回答此类问题，而在不进行手动静态分析的情况下进行回答。