A review of some methods in sheaf theory is presented to make precise a general concept of regularity in algebras or spaces of generalized functions. This leads to the local analysis of the sections of sheaves or presheaves under consideration and then to microlocal analysis and microlocal asymptotic analysis.