惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

www.infosecurity-magazine.com
www.infosecurity-magazine.com
V
Vulnerabilities – Threatpost
Latest news
Latest news
C
CERT Recently Published Vulnerability Notes
The Hacker News
The Hacker News
AWS News Blog
AWS News Blog
T
Tor Project blog
A
Arctic Wolf
Cisco Talos Blog
Cisco Talos Blog
L
LangChain Blog
F
Fortinet All Blogs
WordPress大学
WordPress大学
Scott Helme
Scott Helme
Blog — PlanetScale
Blog — PlanetScale
B
Blog RSS Feed
Know Your Adversary
Know Your Adversary
雷峰网
雷峰网
IT之家
IT之家
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
D
Docker
Microsoft Azure Blog
Microsoft Azure Blog
I
Intezer
博客园 - 叶小钗
C
Cybersecurity and Infrastructure Security Agency CISA
S
SegmentFault 最新的问题
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
L
LINUX DO - 热门话题
aimingoo的专栏
aimingoo的专栏
Project Zero
Project Zero
G
Google Developers Blog
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
C
Check Point Blog
K
Kaspersky official blog
酷 壳 – CoolShell
酷 壳 – CoolShell
P
Privacy International News Feed
Microsoft Security Blog
Microsoft Security Blog
AI
AI
H
Help Net Security
Martin Fowler
Martin Fowler
Spread Privacy
Spread Privacy
T
Tailwind CSS Blog
Attack and Defense Labs
Attack and Defense Labs
云风的 BLOG
云风的 BLOG
F
Full Disclosure
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
Schneier on Security
Schneier on Security
D
DataBreaches.Net
P
Palo Alto Networks Blog
T
Troy Hunt's Blog
Cyberwarzone
Cyberwarzone

cs.SE updates on arXiv.org

Tangram: Unlocking Non-Uniform KV Cache Compression for Efficient Multi-turn LLM Serving AI-Driven Test Case Generation from Natural Language Requirements: A Survey of Techniques and Research Gaps Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and Review Efficiency Identifying the Achilles' Heel: An Iterative Method for Dynamically Uncovering Factual Errors in Large Language Models Self-Admitted Technical Debt Detection Approaches: A Decade Systematic Review Text Tells the Cost: Predicting and Analyzing Repayment Effort of Self-Admitted Technical Debt Exploring Code Analysis: Zero-Shot Insights on Syntax and Semantics with LLMs Exploration of the scalability of LocFaults Exploration of the scalability of LocFaults approach for error localization with While-loops programs An Approach For Transforming of Relational Databases to OWL Ontology An Integrated Semantic Web Service Discovery and Composition Framework A New Efficient Method for Calculating Similarity Between Web Services LeoTask: a fast, flexible and reliable framework for computational research Autonomous Fault Detection in Self-Healing Systems using Restricted Boltzmann Machines On the Behavioural Formalization of the Cognitive Middleware AWDRAT An Approach to Model Checking of Multi-agent Data Analysis The Tomaco Hybrid Matching Framework for SAWSDL Semantic Web Services Change Impact Analysis Based Regression Testing of Web Services Fault-Tolerant, but Paradoxical Path-Finding in Physical and Conceptual Systems LTLf and LDLf Monitoring: A Technical Report Une approche CSP pour l'aide à la localisation d'erreurs Synthesis of Parametric Programs using Genetic Programming and Model Checking SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management A Combined Approach for Constraints over Finite Domains and Arrays Want a Good Answer? Ask a Good Question First! Verifiable Source Code Documentation in Controlled Natural Language A practical approach to ontology-enabled control systems for astronomical instrumentation Engineering Crowdsourced Stream Processing Systems An Integrated Framework for Diagnosis and Prognosis of Hybrid Systems Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version The Use of Cuckoo Search in Estimating the Parameters of Software Reliability Growth Models Action-based Character AI in Video-games with CogBots Architecture: A Preliminary Report Artificial Intelligence MArkup Language: A Brief Tutorial SHARE: A Web Service Based Framework for Distributed Querying and Reasoning on the Semantic Web Benefits of Semantics on Web Service Composition from a Complex Network Perspective A Community Based Algorithm for Large Scale Web Service Composition Development Of Ontology-Based Intelligent System For Software Testing An Application of Uncertain Reasoning to Requirements Engineering Interactive Ant Colony Optimisation (iACO) for Early Lifecycle Software Design Accelerating Inference: towards a full Language, Compiler and Hardware stack Composite Strategy for Multicriteria Ranking/Sorting (methodological issues, examples) Annotating Answer-Set Programs in LANA? Elegant Object-oriented Software Design via Interactive, Evolutionary Computation Feature Subset Selection for Software Cost Modelling and Estimation Guidelines for a Dynamic Ontology - Integrating Tools of Evolution and Versioning in Ontology Ontology for Cellular Communication Theory and Techniques for Synthesizing a Family of Graph Algorithms Making life better one large system at a time: Challenges for UAI research Towards Electronic Shopping of Composite Product An efficient high-quality hierarchical clustering algorithm for automatic inference of software architecture from the source code of a software system Aggregation of Composite Solutions: strategies, models, examples Applying Fuzzy ID3 Decision Tree for Software Effort Estimation CTL Model Update for System Modifications Open Source Software: How Can Design Metrics Facilitate Architecture Recovery? Discovering patterns of correlation and similarities in software project data with the Circos visualization tool Predicting User Actions in Software Processes Generalization Strategies for the Verification of Infinite State Systems Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal Towards Configuration of applied Web-based information system Discovery of Invariants through Automated Theory Formation Integrating Testing and Interactive Theorem Proving A Real-Time Model-Based Reinforcement Learning Architecture for Robot Control Context Capture in Software Development A Factorial Experiment on Scalability of Search Based Software Testing DD-EbA: An algorithm for determining the number of neighbors in cost estimation by analogy using distance distributions Software Effort Estimation with Ridge Regression and Evolutionary Attribute Selection An Influence Diagram-Based Approach for Estimating Staff Training in Software Industry Testing and Debugging Techniques for Answer Set Solver Development sTeX+ - a System for Flexible Formalization of Linked Data Dimensions of Formality: A Case Study for MKM in Software Engineering The Socceral Force How to Complete an Interactive Configuration Process? Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics Quality Classifiers for Open Source Software Repositories Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification CPBVP: A Constraint-Programming Framework for Bounded Program Verification Knowledge Technologies Knowware: the third star after Hardware and Software The Cyborg Astrobiologist: Porting from a wearable computer to the Astrobiology Phone-cam Knowledge Representation Concepts for Automated SLA Management ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language Rule-based Knowledge Representation for Service Level Agreement Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web Building a logical model in the machining domain for CAPP expert systems Ontological Representations of Software Patterns An Unfolding-Based Semantics for Logic Programming with Aggregates Mobile Agent Based Solutions for Knowledge Assessment in elearning Environments A framework of reusable structures for mobile agent development On the Design of Agent-Based Systems using UML and Extensions Fast Frequent Querying with Lazy Control Flow Compilation The Cyborg Astrobiologist: Scouting Red Beds for Uncommon Features with Geological Significance The Cyborg Astrobiologist: First Field Experience Robust Dialogue Understanding in HERALD Modeling State in Software Debugging of VHDL-RTL Designs -- A Model-Based Diagnosis Approach Model-Based Debugging using Multiple Abstract Models L.T.Kuzin: Research Program Events in Property Patterns An Algebraic Programming Style for Numerical Software and its Optimization
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
Xiaoheng Xie, Gang Fan, Xiaojun Lin, Ang Zhou, Shijie Li, Xunjin · 2024-01-03 · via cs.SE updates on arXiv.org

In the domain of large-scale software development, the demands for dynamic and multifaceted static code analysis exceed the capabilities of traditional tools. To bridge this gap, we present CodeFuse-Query, a system that redefines static code analysis through the fusion of Domain Optimized System Design and Logic Oriented Computation Design. CodeFuse-Query reimagines code analysis as a data computation task, support scanning over 10 billion lines of code daily and more than 300 different tasks. It optimizes resource utilization, prioritizes data reusability, applies incremental code extraction, and introduces tasks types specially for Code Change, underscoring its domain-optimized design. The system's logic-oriented facet employs Datalog, utilizing a unique two-tiered schema, COREF, to convert source code into data facts. Through Godel, a distinctive language, CodeFuse-Query enables formulation of complex tasks as logical expressions, harnessing Datalog's declarative prowess. This paper provides empirical evidence of CodeFuse-Query's transformative approach, demonstrating its robustness, scalability, and efficiency. We also highlight its real-world impact and diverse applications, emphasizing its potential to reshape the landscape of static code analysis in the context of large-scale software development.Furthermore, in the spirit of collaboration and advancing the field, our project is open-sourced and the repository is available for public access