Location
Hilton Waikoloa Village, Hawaii
Event Website
https://hicss.hawaii.edu/
Start Date
7-1-2025 12:00 AM
End Date
10-1-2025 12:00 AM
Description
The recent explosion in large language model (LLM) technology has highlighted the challenges of using public generative Artificial Intelligence (AI) tools in classified environments, especially for software analysis. Currently, software analysis falls on the shoulders of static analysis (SA) tools and manual code review, which tend to provide limited technical depth and are often time-consuming in practice. We show that LLMs can be used in unclassified environments to rapidly develop tools that accelerate software analysis in classified environments. Through LLM assistance, our work has produced several avenues for success, and preliminary experimentation has shown significant time savings (~40% ) and improved accuracy (~10%) for certain software analysis tasks.
Recommended Citation
Zhang, Shen; Karl, Ryan; Hindka, Yash; and Robert, John, "Accelerating Verification and Software Standards Testing (AVASST) with Large Language Models (LLMs)" (2025). Hawaii International Conference on System Sciences 2025 (HICSS-58). 2.
https://aisel.aisnet.org/hicss-58/st/llms_for_software_development/2
Accelerating Verification and Software Standards Testing (AVASST) with Large Language Models (LLMs)
Hilton Waikoloa Village, Hawaii
The recent explosion in large language model (LLM) technology has highlighted the challenges of using public generative Artificial Intelligence (AI) tools in classified environments, especially for software analysis. Currently, software analysis falls on the shoulders of static analysis (SA) tools and manual code review, which tend to provide limited technical depth and are often time-consuming in practice. We show that LLMs can be used in unclassified environments to rapidly develop tools that accelerate software analysis in classified environments. Through LLM assistance, our work has produced several avenues for success, and preliminary experimentation has shown significant time savings (~40% ) and improved accuracy (~10%) for certain software analysis tasks.
https://aisel.aisnet.org/hicss-58/st/llms_for_software_development/2