源代码审计和静态代码分析

Aura 是一个静态分析框架,旨在应对 PyPI 上发布的恶意包和易受攻击的代码不断增加的威胁。
Aura 的架构基于一个强大的插件系统,您可以在其中自定义几乎所有内容,从一组数据分析器、传输协议到自定义输出格式。

项目目标:
*在上传到 PyPI 的包上提供一个自动监控系统,对可能表明正在进行的攻击或代码中的漏洞的异常发出警报
*使组织能够对源代码进行自动安全审计并实施安全编码实践,重点是审计 3rd 方代码,例如 python 包依赖项
*允许研究人员大规模扫描代码存储库、创建数据集并进行分析,以进一步推进易受攻击和恶意代码依赖项领域的研究

功能列表:
*适用于分析恶意软件,保证零代码执行
*通过重写 AST 树的高级反混淆机制——持续传播、代码展开和其他肮脏的技巧
*递归扫描自动解压 zip、wheels 等档案并扫描内容
*还支持扫描非 python 文件——插件可以在“原始文件”模式下工作,例如内置的 Yara 集成
*扫描硬编码机密、密码和其他敏感信息
*自定义差异引擎 - 您可以比较不同数据源之间的变化,例如对 PyPI 包进行域名仿冒与所做的变化
*适用于 Python 2.x 和 Python 3.x 源代码
*高性能,旨在扫描整个 PyPI 存储库
*以多种格式输出,例如纯文本、JSON、SQLite、SARIF 等……
*在超过 4TB 的压缩 Python 源代码上进行测试
*Aura 能够报告代码行为,例如网络通信、文件访问或系统命令执行
*计算“光环分数”,告诉您源代码/输入数据的可信度
*还有更多……

Aura | #框架
用于 UNIX 字符终端的 WordPerfect

这是一组构建脚本和补丁,可使 WordPerfect for UNIX 在现代 Linux 上运行。

WordPerfect 是一款功能强大的终端文字处理器。wiki上有更多信息和快速介绍 ,以及涵盖常见问题的常见问题解答。

它具有打印预览、方程式编辑器、鼠标支持、下拉菜单、拼写和语法检查、内置宏编辑器等功能。

快速入门 | 用户手册 | wpunix
远程隔离浏览器API,提供安全性、自动化可视性和交互性。可以在云端运行,或者使用自己的环境。具备多标签、移动端准备的浏览器UI前端的全范围双重反向代理。

BrowserBox | #浏览器
使用OpenAI的ChatGPT通过Telegram和语音消息提供个人管家服务

Telegram ChatGPT Concierge Bot (+ Voice!)
面向开发人员的 GPT-4 支持的 Web 搜索

phind | #搜索引擎
用于你的高质量网站个人网络的搜索引擎。

grep | #搜索引擎
一本教你JavaScript的开源书籍

地址 | #JavaScript
Twitter API逆向工程 | link
AnimatedDrawings:Meta新的开源项目,可以把小孩子画的简笔画,识别出来骨骼,然后生成动画。

此 repo 包含论文“一种为儿童人体图画制作动画的方法”(将出现在 Transactions on Graphics 中并将在 SIGGRAPH 2023 上展示)中描述的算法的实现。

此外,这个 repo 旨在成为一个有用的创意工具,让你可以灵活地创建由自己绘制的角色主演的动画。

项目网站 | repo | 主页
借助AI帮助你自动生成思维导图的在线思维导图和白板工具,目前只支持Web网页版

AMYmind | #工具
亚马逊开放的一款 AI 编程助手:CodeWhisperer,可集成到 VSCode 和 IntelliJ IDEA 等代码编辑器上使用,个人版对所有开发者免费开放。

主要特性如下:

- 经过数十亿行代码的训练,可根据注释和代码,实时生成代码建议;
- 自动标记、过滤类似于开源训练数据的代码建议;
- 自动扫描与修复代码漏洞;
- 支持 15 中主流编程语言,多种 IDE 工具。

自去年预览版发布以来,CodeWhisperer 帮助不少开发者可以专注和高效地编写代码,避免因查找资料而中断工作流程。

该工具可用于处理日常耗时的琐碎任务、处理不熟悉的 API 或 SDK、正确且有效地使用 AWS API,以及其他常见编码场景,如读写文件、图像处理、编写单元测试等。

CodeWhisperer 有两个版本,个人版和专业版。

个人版免费开放,使用 Email 即可注册使用,专业版增加了如 SSO 和 IAM 身份中心集成、引用代码建议的策略控制,以及安全扫描等管理功能。
小米:大号手机
一个很全面的在线AI Prompt生成工具和Prompt库

AI Prompt Generators & Prompt Library | #工具
MacGPT 是一款适用于 macOS 的简单本机应用程序,可让你从菜单栏快速访问 chatGPT。只需单击就可以打开 chatGPT,并使用强大的语言模型 Assistant 开始聊天。

查看所有功能 | 介绍
新的开源图像生成模型:Kandinsky 2.1,可以生成混搭图像,支持 txt2img 和 image mixing ​

它不是基于Stable Diffusion开发的,是一个全新的开原模型,目前看主要优势是速度快,但还看不出来图片质量上明显的优势。

测试地址 | github | blog
Back to Top