GDSL公司 swMATH ID: 13118 软件作者： 朱利安·克兰兹（Julian Kranz）；亚历山大·塞普（Alexander Sepp）；埃克塞尔·西蒙 描述： GDSL：为机器语言提供语义的通用工具包。由于需要审计越来越大的程序的安全漏洞或安全违规，可执行程序的静态分析变得越来越重要。分析可执行文件的基础是将字节序列解码为汇编指令并为其提供语义。我们通过指定Intel x86语义来说明特定于域的语言GDSL如何促进此任务。特别是，我们展示了对生成的代码进行简单的优化可以极大地减小其大小。由于这些优化也是用GDSL编写的，因此可以与其他处理器前端重新使用。因此，基于我们的工具包的分析可以在很少更改的情况下适用于几种架构。 主页： http://dl.acm.org/citation.cfm？id=2559596 相关软件： 岩盐矿；X乌干达；贝克斯菲尔德；BAP（BAP）；比西德语；BitBlaze公司；Coq公司；TSL公司；蛋糕ML；霍尔 引用于： 2文件 标准条款 1出版物描述软件 年份 GDSL：为机器语言提供语义的通用工具包朱利安·克兰兹（Julian Kranz）；亚历山大·塞普（Alexander Sepp）；埃克塞尔·西蒙 2013 3位作者引用 1 Anthony C.J.福克斯。 1 格雷格·莫里塞特 1 Tan、Gang 连载1篇 1 自动推理杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文