Xstar9's repositories

cnblogs-theme-next

next-theme博客园论文主题

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

coderfly

Find function-level association impacts of code changes

Language:TypeScriptStargazers:0Issues:0Issues:0

CVEfixes

CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

evalplus

EvalPlus for rigourous evaluation of LLM-synthesized code评估大语言模型的baseline 标准

License:Apache-2.0Stargazers:0Issues:0Issues:0

JacocoPlus

基于jacoco,JGit 二次开发增量代码覆盖率工具

License:NOASSERTIONStargazers:0Issues:0Issues:0

jcci

Java code commit impact, java code change impact analysis,java代码改动影响范围分析工具

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

JIT-Fine

this is the repository for the paper titled "The Best of Both Worlds: Integrating Semantic Features with Expert Features for Defect Prediction and Localization" accepted by FSE'22.

Stargazers:0Issues:0Issues:0

Metanome

The source repository of the Metanome tool 函数依赖发掘算法平台

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

nju-software-analysis-homework

南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

OpenFOAM-9

OpenFOAM Foundation repository for OpenFOAM version 9

License:NOASSERTIONStargazers:0Issues:0Issues:0

PX4-Autopilot

PX4 Autopilot Software C++仿真软件系统数据集

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

pycorrector

pycorrector is a toolkit for text error correction. 文本纠错,Kenlm,ConvSeq2Seq,BERT,MacBERT,ELECTRA,ERNIE,Transformer,T5等模型实现,开箱即用。

License:Apache-2.0Stargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

ruoyi-vue-pro

🔥 官方推荐 🔥 RuoYi-Vue 全新 Pro 版本,优化重构所有功能。基于 Spring Boot + MyBatis Plus + Vue & Element 实现的后台管理系统 + 微信小程序,支持 RBAC 动态权限、数据权限、SaaS 多租户、Flowable 工作流、三方登录、支付、短信、商城等功能。你的 ⭐️ Star ⭐️,是作者生发的动力!

License:MITStargazers:0Issues:0Issues:0

SMARTFL

Fault Localization via Efficient Probabilistic Modeling of Program Semantics

Stargazers:0Issues:0Issues:0

SootUp

A new version of Soot with a completely overhauled architecture

License:LGPL-2.1Stargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

License:MITStargazers:0Issues:0Issues:0

styleguide

Style guides for Google-originated open-source projects

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

tabby

A CAT called tabby ( Code Analysis Tool )

License:Apache-2.0Stargazers:0Issues:0Issues:0

Tai-e

An easy-to-learn/use static analysis framework for Java

License:LGPL-3.0Stargazers:0Issues:0Issues:0

Tai-e-assignments

Tai-e assignments for static program analysis

License:LGPL-3.0Stargazers:0Issues:0Issues:0

the-algorithm

Source code for Twitter's Recommendation Algorithm

License:AGPL-3.0Stargazers:0Issues:0Issues:0

yapi

YApi 是一个可本地部署的、打通前后端及QA的、可视化的【接口管理平台】

License:Apache-2.0Stargazers:0Issues:0Issues:0