3 articles tagged with #automated-analysis. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.
Researchers have developed SymGPT, a new tool that combines large language models with symbolic execution to automatically audit smart contracts for ERC rule violations. The tool identified 5,783 violations in 4,000 real-world contracts, including 1,375 with clear attack paths for financial theft, outperforming existing automated analysis methods.
CNnotator, an LLM-powered tool, automatically generates memory safety annotations for legacy C code by synthesizing specifications that help identify security vulnerabilities. OpenAI's o3 model achieved 90% first-attempt success rates, suggesting AI-assisted code annotation is becoming practical for real-world systems migration and security analysis.
MalTree is a new framework that uses bioinformatics-inspired phylogenetic techniques to automatically trace malware evolution and family relationships at scale, achieving 87% temporal consistency with real-world timelines. By analyzing structural, behavioral, and image-based features, the research enables proactive defense strategies tailored to individual malware families' mutation rates rather than reactive, sample-by-sample detection approaches.
