Static Code Analysis in the AI Era: An In-depth Exploration of the Concept, Function, and Potential of Intelligent Code Analysis Agents

The escalating complexity of software systems and accelerating development cycles pose a significant challenge in managing code errors and implementing business logic. Traditional techniques, while cornerstone for software quality assurance, exhibit limitations in handling intricate business logic and extensive codebases. To address these challenges, we introduce the Intelligent Code Analysis Agent (ICAA), a novel concept combining AI models, engineering process designs, and traditional non-AI components. The ICAA employs the capabilities of large language models (LLMs) such as GPT-3 or GPT-4 to automatically detect and diagnose code errors and business logic inconsistencies. In our exploration of this concept, we observed a substantial improvement in bug detection accuracy, reducing the false-positive rate to 66\% from the baseline's 85\%, and a promising recall rate of 60.8\%. However, the token consumption cost associated with LLMs, particularly the average cost for analyzing each line of code, remains a significant consideration for widespread adoption. Despite this challenge, our findings suggest that the ICAA holds considerable potential to revolutionize software quality assurance, significantly enhancing the efficiency and accuracy of bug detection in the software development process. We hope this pioneering work will inspire further research and innovation in this field, focusing on refining the ICAA concept and exploring ways to mitigate the associated costs

Automatic lobe segmentation using attentive cross entropy and end-to-end fissure generation

The automatic lung lobe segmentation algorithm is of great significance for the diagnosis and treatment of lung diseases, however, which has great challenges due to the incompleteness of pulmonary fissures in lung CT images and the large variability of pathological features. Therefore, we propose a new automatic lung lobe segmentation framework, in which we urge the model to pay attention to the area around the pulmonary fissure during the training process, which is realized by a task-specific loss function. In addition, we introduce an end-to-end pulmonary fissure generation method in the auxiliary pulmonary fissure segmentation task, without any additional network branch. Finally, we propose a registration-based loss function to alleviate the convergence difficulty of the Dice loss supervised pulmonary fissure segmentation task. We achieve 97.83% and 94.75% dice scores on our private dataset STLB and public LUNA16 dataset respectively.Comment: 5 pages, 3 figures, published to 'IEEE International Symposium on Biomedical Imaging (ISBI) 2023

HIMA2: High-dimensional mediation analysis and its application in epigenome-wide DNA methylation data

Mediation analysis plays a major role in identifying significant mediators in the pathway between environmental exposures and health outcomes. With advanced data collection technology for large-scale studies, there has been growing research interest in developing methodology for high-dimensional mediation analysis. In this paper we present HIMA2, an extension of the HIMA method (Zhang in Bioinformatics 32:3150-3154, 2016). First, the proposed HIMA2 reduces the dimension of mediators to a manageable level based on the sure independence screening (SIS) method (Fan in J R Stat Soc Ser B 70:849-911, 2008). Second, a de-biased Lasso procedure is implemented for estimating regression parameters. Third, we use a multiple-testing procedure to accurately control the false discovery rate (FDR) when testing high-dimensional mediation hypotheses. We demonstrate its practical performance using Monte Carlo simulation studies and apply our method to identify DNA methylation markers which mediate the pathway from smoking to reduced lung function in the Coronary Artery Risk Development in Young Adults (CARDIA) Study

Adjuvant-specific regulation of long-term antibody responses by ZBTB20

The duration of antibody production by long-lived plasma cells varies with the type of immunization, but the basis for these differences is unknown. We demonstrate that plasma cells formed in response to the same immunogen engage distinct survival programs depending on the adjuvant. After alum-adjuvanted immunization, antigen-specific bone marrow plasma cells deficient in the transcription factor ZBTB20 failed to accumulate over time, leading to a progressive loss of antibody production relative to wild-type controls. Fetal liver reconstitution experiments demonstrated that the requirement for ZBTB20 was B cell intrinsic. No defects were observed in germinal center numbers, affinity maturation, or plasma cell formation or proliferation in ZBTB20-deficient chimeras. However, ZBTB20-deficient plasma cells expressed reduced levels of MCL1 relative to wild-type controls, and transgenic expression of BCL2 increased serum antibody titers. These data indicate a role for ZBTB20 in promoting survival in plasma cells. Strikingly, adjuvants that activate TLR2 and TLR4 restored long-term antibody production in ZBTB20-deficient chimeras through the induction of compensatory survival programs in plasma cells. Thus, distinct lifespans are imprinted in plasma cells as they are formed, depending on the primary activation conditions. The durability of vaccines may accordingly be improved through the selection of appropriate adjuvants

FRET Detection of Lymphocyte Function-Associated Antigen-1 Conformational Extension

Lymphocyte function-associated antigen 1 (LFA-1, CD11a/CD18, αLβ2-integrin) and its ligands are essential for adhesion between T-cells and antigen-presenting cells, formation of the immunological synapse, and other immune cell interactions. LFA-1 function is regulated through conformational changes that include the modulation of ligand binding affinity and molecular extension. However, the relationship between molecular conformation and function is unclear. Here fluorescence resonance energy transfer (FRET) with new LFA-1-specific fluorescent probes showed that triggering of the pathway used for T-cell activation induced rapid unquenching of the FRET signal consistent with extension of the molecule. Analysis of the FRET quenching at rest revealed an unexpected result that can be interpreted as a previously unknown LFA-1 conformation

Professional courses for computer engineering education

A sequence of professional courses of study in Computer Engineering at the authors’ university was initiated. These included Digital Fundamentals, Programmable Logic Design, Computer Hardware and Digital Systems Design. This paper presents a study on how the problem based learning has been used for these courses. It also describes how CDIO (Conceive, Design, Implement, Operate) concepts have been applied with an overview of all the hardware resources necessary to support the degree.8 page(s