A　buffer　overflow　detection　method　based　on　the　fine-grained　logic　isolation　structure　was　developed　to　replace　existing　buffer　overflow　and　detection　methods　which　lack　theoretical　support　and　can　not　accurately　identify　buffer　overflow　problem.　Turing　is　used　to　describe　the　simplified　structure　of　the　state-space　causing　the　overflow.　Two　specific　attack　cases　are　used　to　illustrate　two　problems　of　detection　time　and　detection　range　on　existing　detection　mechanisms.　A　fine-grained　logic　isolation　structure　is　designed　to　solve　these　problems　in　a　universal　detecting　overflow　model.　A　temporal　logic　analysis　demonstrates　that　detection　of　the　granularity　and　scale　of　overflow　is　more　accurate　than　classical　methods.　Improved　stack　designs　using　thus　mechanism　can　eliminate　buffer　structure　problems　and　enable　overflow　detection.