logpai/awesome-log-analysis

A list of awesome research on log analysis, anomaly detection, fault localization, and AIOps

Size: 132 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 756 - Forks: 125

PLSysSec/sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

Language: LLVM - Size: 4.55 MB - Last synced at: 20 days ago - Pushed at: about 3 years ago - Stars: 227 - Forks: 41

patois/HexraysToolbox

Hexrays Toolbox - Find code patterns within the Hexrays ctree

Language: Python - Size: 247 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 455 - Forks: 44

shafiul/slemi

SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)

Language: MATLAB - Size: 17.9 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 9 - Forks: 2

MNaplesDevelopment/deep-learning-software-defects

Deep learning project to detect logic bugs in source code.

Language: Jupyter Notebook - Size: 2.68 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 0

mozibrishu/fancy-slider

Language: JavaScript - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

ertlnagoya/lwip-bug-finder

lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).

Language: Python - Size: 549 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 0

trishullab/salento

Statistical bug-finding framework for API-using code

Language: Python - Size: 30.8 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 4

nwebpro/money-master-solution

Money Master Solution

Language: HTML - Size: 603 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nwebpro/fancy-slider-solution

Fancy Slider Solution

Language: JavaScript - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nwebpro/music-corner-solution

Music Corner Solution

Language: CSS - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nwebpro/broken-phone

Broken Phone All Problem Solved

Language: JavaScript - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nwebpro/issue-tracker

Issue Tracker All Problem Solved

Language: JavaScript - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nwebpro/password-generator-solution

Password Generator Solution

Language: HTML - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nwebpro/book-bhandar-solution

Book Bhandar Solution

Language: JavaScript - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0