secure-software-engineering/phasar

A LLVM-based static analysis framework.

ccppdata-flow-analysisllvmprogram-analysisstatic-analysis

License & maintenance

Custom or modified license that GitHub does not recognise: read the LICENSE file in the repository before using it in a product.

Last code push 5 days ago.

	Repository	Stars	Language	License	Activity
1	neovim/neovimVim-fork focused on extensibility and usability	★ 103k	Vim Script	Other	Active
2	curl/curlA command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP,	★ 43.2k	C	Other	Active
3	google/flatbuffersFlatBuffers: Memory Efficient Serialization Library	★ 26.6k	C++	Apache-2.0	Active
4	catchorg/Catch2A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03	★ 21.5k	C++	BSL-1.0	Active
5	videolan/vlcVLC media player - plays everything, runs anywhere. Code here: https://code.videolan.org/videolan/vlc	★ 20.1k	C	GPL-2.0	Active
6	yhirose/cpp-httplibA C++ header-only HTTP/HTTPS server and client library	★ 16.9k	C++	MIT	Active
7	Qv2ray/Qv2ray:star: Linux / Windows / macOS 跨平台 V2Ray 客户端 \| 支持 VMess / VLESS / SSR / Trojan / Trojan-Go / NaiveProxy / HTTP / HTTPS / SOCKS5 \| 使用 C++ / Q	★ 16.9k	C++	GPL-3.0	Slowing
8	OpenRCT2/OpenRCT2An open source re-implementation of RollerCoaster Tycoon 2 🎢	★ 16.5k	C++	GPL-3.0	Active