smack

SMACK은 모듈식 소프트웨어 검증 도구 체인 이자, 자체-완결형 소프트웨어 검증기 입니다. 입력 프로그램의 단언문assertion을 검증하는 데 사용할 수 있습니다. 기본 모드에서는 루프 반복 및 재귀 깊이에 주어진 경계까지 단언문을 검증하며, 무한 검증을 위한 실험적 지원도 포함하고 있습니다. SMACK은 동적 메모리 할당, 포인터 연산, 비트 연산 등 C 언어의 복잡한 기능을 처리합니다. 내부적으로 SMACK은 LLVM 컴파일러의 널리 사용되는 중간 표현IR을 Boogie 중간 검증 언어IVL로 변환하는 변환기입니다...

Microsoft-Extractor-Suite

Microsoft-Extractor-Suite 시작하기 Microsoft-Extractor-Suite를 시작하려면 Microsoft-Extractor-Suite 문서를 확인하세요. Microsoft-Extractor-Suite 소개 Microsoft-Extractor-Suite는 Microsoft 내의 다양한 소스에서 필요한 모든 데이터와 정보를 수집하는 과정을 간소화하도록 설계된 완전한 기능을 갖춘 적극적으로 유지 관리되는 Powershell 도구입니다. 다음 Microsoft 데이터 소스가 지원됩니다: 통합 감사...

howdy

Howdy는 Linux에서 Windows Hello™ 스타일 인증을 제공합니다. 내장 IR 방출기와 카메라를 안면 인식과 함께 사용하여 당신이 누군지 증명하세요. 중앙 인증 시스템PAM을 사용하여, 비밀번호가 필요한 모든 곳로그인, 잠금 화면, sudo, su 등에서 작동합니다. 설치 Howdy는 현재 Debian/Ubuntu, Arch Linux, Fedora 및 openSUSE용으로 패키징되어 제공됩니다. Howdy를 다른 배포판용으로 패키징하는 데 관심이 있다면, 주저하지 말고 이슈를 열어주세요. 참고: dlib 빌드가...

esperto-wiimote

Esperto Wiimote !IMPORTANT 이 소프트웨어는 여기에서 찾을 수 있는 업데이트/수정된 Wiimote 커널 드라이버가 필요합니다. 설치 후, sudo sed -i '/ATTRinhibited="1"/s/^//' /etc/udev/rules.d/99-wiimote.rules를 실행하여 IR 및 가속도계 이벤트의 비활성화inhibit를 해제하세요. esperto 입력 시스템을 기반으로 하는 esperto-wiimote는 고급 Wiimote 매퍼입니다. 정밀한 가속도계 보정, 우수한 IR 추적, 콤보 지원을 포함한...

Mergen

프로젝트 개요: Mergen은 어셈블리 코드를 LLVM 중간 표현IR으로 변환하도록 설계된 도구입니다. 이 도구는 다음을 위해 설계되었습니다: 난독화된 바이너리 코드의 난독 해제 또는 탈가상화 특히 복잡한 소프트웨어 시스템에서 리버스 엔지니어링 과정을 더 효율적이고 효과적으로 향상시키기 빌드 및 실행 가이드 프로젝트를 빌드하고 실행하려면 docs/BUILDING.md를 참조하세요. 리라이트 기준 게이트 리라이트 작업은 기준 회귀 게이트를 녹색으로 유지해야 합니다. 게이트는 집중된 PE 샘플을 빌드하고 lifter를 실행하며,...

FortiClient EMS - Authentication Bypass

Detects whether Fortinet hotfix FG-IR-26-099 for CVE-2026-35616 is missing by comparing behavioral responses from a certificate-authenticated endpoint. The template sends X-SSL-CLIENT-VERIFY: SUCCESS without certificate material and checks whether this spoofed header changes server behavior. id:...

ir-rescue

ir-rescue ir-rescue 는 32비트 및 64비트 Windows 시스템ir-rescue-win과 Unix 시스템ir-rescue-nix에서 다양한 포렌식 데이터 를 수집하는 두 개의 자매 스크립트로 구성됩니다. 이 스크립트는 휘발성 순서와 실행으로 변경되는 아티팩트예: Windows의 프리페치 파일를 존중하며, 분석 및 조사 프로세스의 여러 단계에서 침해 대응 용도로 사용됩니다. 각각은 다음과 같이 설명됩니다. ir-rescue-win 은 완전히 Batch로 작성되었으며, 사용 가능한 VSSVolume Shadow...

CVE-2021-26102

CVE-2021-26102 FortiWAN 인증 우회 PoC https://www.fortiguard.com/psirt/FG-IR-21-048...

aiiroverlay

なぜオーバーレイなのか、置き換えではないのか。その論旨。 AI IR Overlay™ フレームワークの一部。完全なリポジトリマップはCONTENTMAP.md を参照。 AI IR Overlay: フレームワーク概要 現在のリリース: v0.35.0 · 2026-07-09 · CHANGELOG 本番稼働中の AI エージェント向けの実践的なインシデントレスポンス基盤。自由に批判し、適応させてください。 なぜオーバーレイなのか、置き換えではないのか 従来のインシデントレスポンス（2025年4月に r2 を置き換えた NIST SP 800-61 r3...

RedWarden

RedWarden - 유연한 CobaltStrike Malleable Redirector 이전에는 proxy2's의 malleableredirector 플러그인으로 알려짐 C2 리다이렉터의 IR 회복탄력성 수준을 한 단계 더 높여볼까요? Red Teaming 업계에서는 사고 대응자와 교전하고 동시에 저항력 있는 C2 리다이렉터 네트워크를 제공하면서 사고 대응자들을 잘못된 방향으로 유도하는 여러 훌륭한 아이디어들을 보아 왔습니다. 이 작업은 그러한 많은 훌륭한 아이디어들을 하나의 가벼운 유틸리티로 결합하여, Apache2가 단순...

go-cpe

go-cpe A Go library for CPEA Common Platform Enumeration 2.3 go-cpe는 NIST IR 7695 및 7696에 설명된 CPE 명명Naming 및 매칭Matching 알고리즘의 구현입니다. 참고용 Java 구현은 https://cpe.mitre.org/specification/CPEReferenceImplementationSep2011.zipx 를 참조하십시오. 설치 및 사용 설치는 일반적인 go get으로 수행할 수 있습니다: $ go get...

TamarinAgent

信頼度誘導型プロトコルIRレビューUI このリポジトリには、LLM支援によるセキュリティプロトコルモデリングのためのローカルなhuman-in-the-loop UIが含まれています。これは我々の研究で説明されているワークフローをサポートします： LLM支援セキュリティプロトコルモデリングのための信頼度誘導型プロトコルIR このシステムは、自然言語によるプロトコル記述とSapic+/Tamarin生成の間のセマンティックチェックポイントとしてプロトコル中間表現（IR）を導入し、レビュー担当者が形式的検証の前にLLM生成のプロトコルモデルのセマンティックな正確性を監査できるようにします。...

Playbooks

目次 TOC IR プレイブック このリポジトリには、当社SOCのすべてのインシデント対応（IR）プレイブックとワークフローが含まれています。 各フォルダーには、NIST - 800.61 r2 に従って6つのセクションに分割されたプレイブックが含まれています。 1- 準備 このセクションには以下の情報を含める必要があります。 すべてのアセットのリスト サーバー エンドポイント（重要なものを含む） ネットワーク アプリケーション 従業員 セキュリティ製品 ベースライン コミュニケーション計画 どのセキュリティイベント しきい値 セキュリティツールへのアクセス方法 アクセス権の付与方法...

CVE-2021-41822

CVE-2021-41822（물 중 하나） Canon 프린터 무단 액세스 취약점 및 서비스 거부 취약점 공격자는 계정이나 비밀번호 없이 프린터 페이지에 액세스하여 인쇄된 파일에 대한 정보를 얻을 수 있습니다. 또한 프린터를 원격으로 끌 수 있어 서비스 거부 취약점을 발생시킵니다. 영향받는 제품 imageRUNNER ADVANCE IR-ADV C3525 CVE-2021-41822...

Astra Linux – Vulnerability in Linux, Linux 5.10

In the Linux kernel, the following vulnerabilities have been resolved: iommu/vt-d: Fixed a potential memory leak in intelsetupirqremapping. After committing e3beca48a45b “irqdomain/treewide: Keeps the firmware node unconditionally allocated”. For the tear-down scenario, the fn variable is only...

Astra Linux – Vulnerability found in Linux 5.10, Linux 5.15

In the Linux kernel, the following vulnerabilities have been resolved: media: rc: gpio-ir-recv: added/removed functions If runtime PM is enabled, perform runtime PM cleanup to remove the cpu latency QoS request. Otherwise, driver removal may result in the following kernel dump: 19.463299 Unable t...

Astra Linux – Vulnerability in Linux 5.10

In the Linux kernel, the following vulnerability has been resolved: media: irtoy: free before error exiting The leak in the error handling path has been fixed...

Malicious code in ir-annuities-client-authentication-module (npm)

--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector 0d813fc9c0831847a602c97803b7e53603edfb6acef4386e4cde2927c2a7a297 package.json declares a dependency whose key equals the package's own name ir-annuities-client-authentication-module and whose value is a plain HTTPS...

MAL-2026-15536 Malicious code in ir-annuities-client-authentication-module (npm)

--- -= Per source details. Do not edit below this line.=- Source: amazon-inspector 0d813fc9c0831847a602c97803b7e53603edfb6acef4386e4cde2927c2a7a297 package.json declares a dependency whose key equals the package's own name ir-annuities-client-authentication-module and whose value is a plain HTTPS...

SUSE SLED15 / SLES15 : Security update for the Linux Kernel (SUSE-SU-2026:2722-1)

The remote SUSE Linux SLED15 / SLEDSAP15 / SLES15 / SLESSAP15 host has packages installed that are affected by multiple vulnerabilities as referenced in the SUSE-SU-2026:2722-1 advisory. The SUSE Linux Enterprise 15 SP7 kernel was updated to receive various security bugfixes. The following securi...