A symbolic execution based method was proposed to automatically extract control flow graphs from native libraries of Android applications. The proposed method can provide execution environments for functions in native libraries. simulate JNI function call processes and solve symbols using constraint solver. A control flow graph extraction prototype system named CFGNative was implemented. https://www.jmannino.com/quick-offer-Nemacor-Maxx-4-for-Dogs-flash-choice/