Skip to content
Log in
Sponsored Artificial Intelligence: A Modern Approach, Global Edition Artificial Intelligence: A Modern Approach, Global Edition

Author

L. Negrini

h-index 10 View on Semantic Scholar

We have 3 of 35 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts

GoLiSA is a static analysis tool that allows the verification of smart contracts written in Go, the most widely used language for developing smart contracts in Hyperledger Fabric. GoLiSA relies on abstract interpretation to model program semantics and identify potential risks and vulnerabilities in smart contracts. It...

Luca Olivieri, L. Negrini, V. Arceri et al. · 0 citations
Open access Sep 2026

State of the art in program analysis

Static and dynamic program analysis techniques have been studied for several decades to provide foundations for tools that discover software defects or that verify their adherence to semantic properties. Applying these techniques to real-world programs presents several challenges, such as scalability and precision. T...

Kihong Heo, L. Negrini · 0 citations
Jul 2026

A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)

A generic memory framework to handle stack and heap memory during the analysis is proposed and formalized, able to support various behaviors from different programming languages while remaining parametric, allowing different memory and value analyses to be independently chosen and combined.

Giacomo Boldini, L. Negrini, Luca Olivieri et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.