Pinned Repositories
-MSVL-
使用MSVL程序描述多线程交替执行的模型,针对该模型,使用PPTL描述期望满足的周期重复的性质,进而使用基于多核的运行时验证方法对其进行验证
Aegis
A generic runtime analysis tool to detect and protect against attacks in Ethereum (AsiaCCS 2020).
Alternate-Execution-of-Multiple-Threads-in-a-C-Program-
使用C程序中的SuspendThread和ResumeThread函数实现多线程交替执行
ARVDN
CPA4AV
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering
DEF_LEAK
Ten C programs used to test the performance of DEF_LEAK combining dynamic analysis and DSE
DEF_LEAK-
PPTLCheck
为了展示单机多核并行运行时验证工具PPTLCheck验证大规模程序的能力,我们将PPTLCheck用来验证10个代码规模为1300行至33000行的工业级程序,每个文件中包含了安全性、活性、弱公平性和周期重复性四种性质和MSVL源程序
SQLite3Check
SQLite3Check验证的调用SQLite3数据库API的C程序等价转换得到的MSVL程序,共30个
SVR-model-based-on-electronic-tongue-test
MATLAB code to estiablish the SVR model to predict the maturity level and human sensory evaluation based on electronic tongue test
BinYu-Xidian-University's Repositories
BinYu-Xidian-University/CPA4AV
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering
BinYu-Xidian-University/ARVDN
BinYu-Xidian-University/analyzer
Static analysis framework for C
BinYu-Xidian-University/apron
Apron Numerical Abstract Domain Library
BinYu-Xidian-University/Awesome-AFL
A curated list of different AFL forks and AFL inspired fuzzers with detailed equivalent academic papers and AFL-fuzzing tutorials
BinYu-Xidian-University/chatgpt_academic
科研工作专用ChatGPT拓展,特别优化学术Paper润色体验,支持自定义快捷按钮,支持markdown表格显示,Tex公式双显示,代码显示功能完善,新增本地Python工程剖析功能/自我剖析功能
BinYu-Xidian-University/CPM-Bee
百亿参数的中英文双语基座大模型
BinYu-Xidian-University/dataracebench
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
BinYu-Xidian-University/Deagle
BinYu-Xidian-University/FreeRTOS-Kernel
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
BinYu-Xidian-University/fret
A framework for the elicitation, specification, formalization and understanding of requirements.
BinYu-Xidian-University/fuzz4all
🌌️Fuzz4All: Universal Fuzzing with Large Language Models
BinYu-Xidian-University/geth-analyze
go-ethereum source code analyzation under the perspective of smart contract security
BinYu-Xidian-University/GradeMigo
An AI-powered Grading Assistant supported by Handwriting recognition and Flask backend using LangChain to query a large corpus of textbook data (Indian Curriculum) and the OpenAI LLM to evaluate the accuracy of an answer and assign marks based on a grading system. Built as part of Hack4Bengal 2023
BinYu-Xidian-University/GradingAssistantWithOCRAndLLM
BinYu-Xidian-University/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
BinYu-Xidian-University/llama
Inference code for LLaMA models
BinYu-Xidian-University/ltp
Language Technology Platform
BinYu-Xidian-University/MiniGPT-4
MiniGPT-4: Enhancing Vision-language Understanding with Advanced Large Language Models
BinYu-Xidian-University/MultiVul-GCN
Multi Graph Smart Contract Vulnerability Detection
BinYu-Xidian-University/NettyRpc
A simple RPC framework based on Netty, ZooKeeper and Spring
BinYu-Xidian-University/nl2spec
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
BinYu-Xidian-University/NL2TL
BinYu-Xidian-University/NLP-Marker-Frontend
Helping teachers get insights and assist essay, or short paragraph questions in an instant. Powered by NLP
BinYu-Xidian-University/nogil
Multithreaded Python without the GIL
BinYu-Xidian-University/publications
Publications of Runtime Verification, Inc.
BinYu-Xidian-University/rasa
💬 Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants
BinYu-Xidian-University/simpleaichat
Python package for easily interfacing with chat apps, with robust features and minimal code complexity.
BinYu-Xidian-University/stanford_alpaca
Code and documentation to train Stanford's Alpaca models, and generate the data.
BinYu-Xidian-University/tinyos-main
Main development repository for TinyOS (an OS for embedded, wireless devices).