Based on a previously established framework of asymptotic extensions of topological modules and algebras, we use results concerning sheaf theoretic properties and functoriality of the construction, to develop some tools for microlocal algebraic analysis in this setting. In particular, we introduce the notion of singular spectrum of sections, and give results concerning its linear and non-linear properties.