智能自动化二进制漏洞分析工具

智能自动化二进制漏洞分析工具Callisto是一款智能自动化二进制漏洞分析工具。其目的是自动反编译提供的二进制文件并迭代伪代码输出，查找该伪C代码中潜在的安全漏洞。Ghidra的无头反编译器驱动二进制反编译和分析部分。伪代码分析最初由SemgrepSAST工具执行，然后传输到GPT-3.5-Turbo，以验证Semgrep的发现以及潜在的其他漏洞识别。该工具的预期目的是协助二进制分析和零日漏洞发现。输出旨在帮助研究人员识别二进制文件中潜在的感兴趣区域或易受攻击的组件，然后可以进行动态测试以进行验证和利用。它当然不会捕获所有内容，但使用Semgrep对GPT-3.5进行双重验证旨在减少误报并允许对程序进行更深入的分析。对于那些希望将该工具用作快速无头反编译器的人来说，output.c创建的文件将包含从二进制文件中提取的所有伪代码。这可以插入您自己的SAST工具或手动分析。#工具

二进制恋爱 (2022)

名称：二进制恋爱(2022)描述：偏科少女周林林（庄达菲饰）在学霸方予可（任宥纶饰）的精心筹划下，奋起直追，考上了全国最高学府。入学后，粗线条的周林林意外和网球新星文涛（刘宇航饰）、方予可的好兄弟谢端西（阳兵卓饰）闹出乌龙；和寝室室友叶茹庭（胡嘉欣饰）、朱莉（屈琴涵饰）建立起了奇妙又温馨的姐妹友谊。最终，在大嘴（刘书源饰）和老丁（吴逸迦饰）等人的助攻之下，方予可的暗恋长跑终于抵达了终点。链接：https://pan.quark.cn/s/386b6190f43c大小：T标签：#剧情#喜剧#爱情#二进制恋爱#quark频道：@yunpanshare群组：@yunpangroup

Vitalik：预计未来几个月基于二进制字段的证明技术会有更多改进

Vitalik：预计未来几个月基于二进制字段的证明技术会有更多改进以太坊联合创始人VitalikButerin发布最新博客《Binius：二进制字段的高效证明》。SNARK和STARK证明计算机程序的方式是通过算术化：将要证明的程序的陈述转换为涉及多项式的数学方程。方程的有效解对应于程序的有效执行。一般来说，零知识证明系统的工作原理是对多项式进行陈述，同时表示有关基础评估的陈述。Binius使用了许多数学技巧，使其与三年前的SNARK和STARK截然不同。VitalikButerin还介绍了小字段使证明生成更高效的原因、二进制字段具有独特强大功能的原因，以及Binius用于使二进制字段的证明能够有效地工作的技巧。预计未来几个月基于二进制字段的证明技术会有更多改进。

TinyVG：另一种二进制编码矢量图形格式

：另一种二进制编码矢量图形格式SVG是一种复杂得可怕的格式，对大多数项目来说都是多余的。该规范包括了太多的边缘情况，所以实现一个新的SVG渲染器总是会有缺点或缺失。TinyVG试图变得更简单。更少的功能，但足够强大，可以覆盖90%的使用情况。特点紧凑的二进制编码（平均为可比的SVG文件的39%）。覆盖90%的通常使用的SVG特征文件，同时只具有极小部分的复杂性支持常见的二维基元（路径、直线、矩形、多边形）。支持线性和径向两点梯度。为较小的文件提供可配置的精度。可理解的规范

腾讯柠檬清理 清理“通用二进制文件”时会造成部分应用不完整

腾讯柠檬清理清理“通用二进制文件”时会造成部分应用不完整受到影响的应用有SetApp、Chrome、Firefox、微信、落格输入法、坚果云、Surge、网易云、QQ等众多应用！https://github.com/Tencent/lemon-cleaner/issues/40官方此前说13系统会取消针对通用二进制文件的清理，但是现在依旧存在该功能默认勾选。本bug仅限官方包，Github源码不存在该bug投稿：@ZaiHuaBot频道：@TestFlightCN

《二进制恋爱》【4K60帧】【国语·内嵌简中】

名称：《二进制恋爱》【4K60帧】【国语·内嵌简中】描述：偏科少女周林林（庄达菲饰）在学霸方予可（任宥纶饰）的精心筹划下，奋起直追，考上了全国最高学府。入学后，粗线条的周林林意外和网球新星文涛（刘宇航饰）、方予可的好兄弟谢端西（阳兵卓饰）闹出乌龙；和寝室室友叶茹庭（胡嘉欣饰）、朱莉（屈琴涵饰）建立起了奇妙又温馨的姐妹友谊。最终，在大嘴（刘书源饰）和老丁（吴逸迦饰）等人的助攻之下，方予可的暗恋长跑终于抵达了终点。链接：https://pan.quark.cn/s/7742d56ba619标签：#剧集#二进制恋爱#quark频道：@yunpanshare群组：@yunpangroup