├── .gitbook └── assets │ ├── DtoA.png │ ├── Ex4-1.png │ ├── Ex4-2.png │ ├── Ex4-3.png │ ├── Ex4-4.png │ ├── Ex4-5.png │ ├── Ex4-6.png │ ├── PL.png │ ├── concurrentProgram.png │ ├── harmonyOS.png │ ├── image-20201029224401395.png │ ├── image-20201029224437136.png │ ├── image-20201029224506176.png │ ├── image-20201029224736803.png │ ├── image-20201029224820647.png │ ├── image-20201029224941882.png │ ├── image-20201029225106724.png │ ├── image-20201029225304889.png │ ├── image-20201029225350619.png │ ├── image-20201029230138054.png │ ├── image-20201029230224316.png │ ├── image-20201029230504891.png │ ├── image-20201029230535984.png │ ├── image-20201029230622120.png │ ├── image-20201029230909895.png │ ├── image-20201029231106891.png │ ├── image-20201029231132412.png │ ├── image-20201029231155238.png │ ├── image-20201029231304304.png │ ├── image-20201029231543567.png │ ├── image-20201029231611608.png │ ├── image-20201029231706834.png │ ├── image-20201029231908883.png │ ├── image-20201029231936719.png │ ├── image-20201029231952670.png │ ├── image-20201105183618529.png │ ├── image-20201105184327763.png │ ├── image-20201105184919660.png │ ├── image-20201105185230667.png │ ├── image-20201105185431196.png │ ├── image-20201105185630758.png │ ├── image-20201105185806532.png │ ├── image-20201105190333596.png │ ├── image-20201105190439805.png │ ├── image-20201105191248594.png │ ├── image-20201105191705757.png │ ├── image-20201105194030384.png │ ├── image-20201105194707507.png │ ├── image-20201105195029800.png │ ├── image-20201105195154527.png │ ├── image-20201105195524932.png │ ├── image-20201105195843958.png │ ├── image-20201105195943007.png │ ├── image-20201105200112512.png │ ├── image-20201105200123601.png │ ├── image-20201105200412145.png │ ├── image-20201105200815104.png │ ├── image-20201105201018655.png │ ├── image-20201105201421501.png │ ├── image-20201105201746860.png │ ├── image-20201105201939088.png │ ├── image-20201105202101633.png │ ├── image-20201105235312349.png │ ├── image-20201109140057119.png │ ├── image-20201109140605829.png │ ├── image-20201109154728420.png │ ├── image-20201109154844509.png │ ├── image-20201112191544354.png │ ├── image-20201112191630283.png │ ├── image-20201112193329365.png │ ├── image-20201112193357268.png │ ├── image-20201112194234928.png │ ├── image-20201112194358502.png │ ├── image-20201112194555582.png │ ├── image-20201112195502575.png │ ├── image-20201123205009821.png │ ├── image-20201126184745576.png │ ├── image-20201126185008506.png │ ├── image-20201126185233403.png │ ├── image-20201126191225969.png │ ├── image-20201126191650221.png │ ├── image-20201126194125039.png │ ├── image-20201126195311513.png │ ├── image-20201126195425756.png │ ├── image-20201126201000426.png │ ├── image-20201126221950557.png │ ├── image-20201126230831572.png │ ├── image-20201126231116221.png │ ├── image-20201126231403264.png │ ├── image-20201126231437769.png │ ├── image-20201126231722298.png │ ├── image-20201127170432941.png │ ├── image-20201201151956869.png │ ├── image-20201210134143907.png │ ├── image-20201210134328575.png │ ├── image-20201210135019104.png │ ├── image-20201210135047052.png │ ├── image-20201210145819255.png │ ├── image-20201210151627827.png │ ├── image-20201210165334864.png │ ├── image-20201210183358390.png │ ├── image-20201210183700963.png │ ├── image-20201210184448955.png │ ├── image-20201210184527645.png │ ├── image-20201210184850528.png │ ├── image-20201210191310040.png │ ├── image-20201210192001954.png │ ├── image-20201210193321202.png │ ├── image-20201210193735607.png │ ├── image-20201210195519912.png │ ├── image-20201210200518022.png │ ├── image-20201210200637330.png │ ├── image-20201210201540194.png │ ├── image-20201216173124146.png │ ├── image-20201216175534756.png │ ├── image-20201216175748133.png │ ├── image-20201216180114246.png │ ├── image-20201216180216650.png │ ├── image-20201216180422745.png │ ├── image-20201216180523896.png │ ├── image-20201216202538515.png │ ├── image-20201216204823876.png │ ├── image-20201216205125278.png │ ├── image-20201216210158092.png │ ├── image-20201216210347469.png │ ├── market.png │ └── mayMustSum.png ├── .gitignore ├── .gitmodules ├── LICENSE ├── README.assets └── image-20201231205814145.png ├── README.md ├── SUMMARY.md ├── ch0 ├── 00-01-why-this-book.md ├── 00-02-sources-and-license.md └── ch0.md ├── ch1 ├── 1_Intro.md ├── 2IntermediateRepresentation.md ├── 34DataFlowAnalysis.md ├── 56DataFlowAnalysisFoundation.md ├── ch1.md ├── images │ ├── 1.png │ ├── 2.png │ ├── 3.png │ ├── 4.png │ ├── 5.png │ ├── 6.png │ ├── 7.png │ └── 8.png └── img │ ├── 1_Intro │ ├── image-20210902200335848.png │ └── image-20210902201618713.png │ ├── 2_Intermediate Representation │ ├── image-20210909175715157.png │ ├── image-20210909180558685.png │ ├── image-20210909192214368.png │ ├── image-20210909192230838.png │ ├── image-20210909193624370.png │ ├── image-20210909193825373.png │ ├── image-20210909194221057.png │ ├── image-20210909194550772.png │ ├── image-20210909194912657.png │ └── image-20210909195613197.png │ ├── 3_4_Data Flow Analysis │ ├── image-20210917153822357.png │ ├── image-20210917154034546.png │ ├── image-20210917162309404.png │ ├── image-20210917162405362.png │ ├── image-20210917162747257.png │ ├── image-20210917163542130.png │ ├── image-20210917164337106.png │ ├── image-20210917165027657.png │ ├── image-20210917165047931.png │ ├── image-20210917165459729.png │ ├── image-20210917171457003.png │ ├── image-20210917171825938.png │ ├── image-20210917184215918.png │ ├── image-20210917185149738.png │ ├── image-20210917193557643.png │ ├── image-20210917200639739.png │ ├── image-20210917201617719.png │ └── image-20210917202539780.png │ └── 5_6_Data Flow Analysis Foundation │ ├── image-20210923162141398.png │ ├── image-20210923165949698.png │ ├── image-20211009185424077.png │ ├── image-20211009190320346.png │ ├── image-20211009190612357.png │ ├── image-20211009192219561.png │ ├── image-20211009193258050.png │ ├── image-20211009193822041.png │ ├── image-20211009194808421.png │ ├── image-20211009195346660.png │ ├── image-20211009200111058.png │ ├── image-20211009200302010.png │ └── image-20211009200914835.png ├── ch2 └── ch2.md ├── ch3 ├── context-sensitivity │ ├── 03-04-context-sensitivity.md │ ├── 03-05-cs2.md │ └── README.md └── pointer-analysis │ ├── 03-01-pointer-analysis-spa.md │ ├── 03-02-pointer2-analysis-spa.md │ ├── 03-03-pointer3-analysis-spa.md │ └── README.md ├── ch4 ├── 04-01-security.assets │ ├── image-20201217183223733.png │ ├── image-20201217183451069.png │ ├── image-20201217184823323.png │ ├── image-20201217185309441.png │ ├── image-20201217185829167.png │ ├── image-20201217190510106.png │ ├── image-20201217191513356.png │ ├── image-20201217191608133.png │ ├── image-20201217191941119.png │ ├── image-20201217193802763.png │ ├── image-20201217194544398.png │ ├── image-20201217195126758.png │ ├── image-20201217195814591.png │ ├── image-20201217200536542.png │ ├── image-20201217200616889.png │ └── image-20201217201336388.png ├── 04-01-security.md ├── 04-02-Datalog-Based-PA.assets │ ├── image-20201223184349163.png │ ├── image-20201223184415502.png │ ├── image-20201223185015690.png │ ├── image-20201223185231533.png │ ├── image-20201223185504296.png │ ├── image-20201223185750701.png │ ├── image-20201223185957740.png │ ├── image-20201223190539380.png │ ├── image-20201223190710495.png │ ├── image-20201223190916420.png │ ├── image-20201223191303096.png │ ├── image-20201223191451507.png │ ├── image-20201223191716873.png │ ├── image-20201223192111827.png │ ├── image-20201223193351919.png │ ├── image-20201223193808413.png │ ├── image-20201223194245876.png │ ├── image-20201223194326258.png │ ├── image-20201223194559347.png │ ├── image-20201223195004344.png │ ├── image-20201223195501180.png │ ├── image-20201223200243589.png │ ├── image-20201223200506410.png │ ├── image-20201223200617134.png │ ├── image-20201223200945544.png │ ├── image-20201223201109543.png │ ├── image-20201223201354991.png │ ├── image-20201223201428109.png │ ├── image-20201223201612811.png │ ├── image-20201223201746117.png │ ├── image-20201223201956852.png │ └── image-20201223202140289.png ├── 04-02-Datalog-Based-PA.md └── ch4.md └── ch5 ├── 05-01-IFDS.assets ├── image-20201224200732868.png ├── image-20201224201312394.png ├── image-20201224201921134.png ├── image-20201231184204252.png ├── image-20201231184249491.png ├── image-20201231185030483.png ├── image-20201231185419312.png ├── image-20201231185639039.png ├── image-20201231190743854.png ├── image-20201231191027738.png ├── image-20201231191043066.png ├── image-20201231191553161.png ├── image-20201231191923368.png ├── image-20201231192128228.png ├── image-20201231193305999.png ├── image-20201231193404292.png ├── image-20201231193423998.png ├── image-20201231193951460.png ├── image-20201231194039123.png ├── image-20201231194247160.png ├── image-20201231194752369.png ├── image-20201231195241378.png ├── image-20201231195259204.png ├── image-20201231195711805.png ├── image-20201231195848429.png ├── image-20201231200145777.png ├── image-20201231200214568.png ├── image-20201231200351183.png ├── image-20201231200406642.png ├── image-20201231200623730.png ├── image-20201231200656200.png ├── image-20201231201028380.png ├── image-20201231202231523.png └── image-20201231202450969.png ├── 05-01-IFDS.md ├── 05-02-Soundiness.assets ├── image-20201224185622416.png ├── image-20201224185800853.png ├── image-20201224191028463.png ├── image-20201224191640084.png ├── image-20201224191711227.png ├── image-20201224191813323.png ├── image-20201224193417814.png ├── image-20201224193616512.png ├── image-20201224193811113.png ├── image-20201224193954800.png ├── image-20201224194144120.png ├── image-20201224194505888.png ├── image-20201224195102570.png ├── image-20201224195524083.png ├── image-20201224200127291.png └── image-20201224200343625.png ├── 05-02-Soundiness.md ├── 2DC0453A-EB41-4678-8A81-E6E48E4C62B4.png └── ch5.md /.gitbook/assets/DtoA.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/DtoA.png -------------------------------------------------------------------------------- /.gitbook/assets/Ex4-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/Ex4-1.png -------------------------------------------------------------------------------- /.gitbook/assets/Ex4-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/Ex4-2.png -------------------------------------------------------------------------------- /.gitbook/assets/Ex4-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/Ex4-3.png -------------------------------------------------------------------------------- /.gitbook/assets/Ex4-4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/Ex4-4.png -------------------------------------------------------------------------------- /.gitbook/assets/Ex4-5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/Ex4-5.png -------------------------------------------------------------------------------- /.gitbook/assets/Ex4-6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/Ex4-6.png -------------------------------------------------------------------------------- /.gitbook/assets/PL.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/PL.png -------------------------------------------------------------------------------- /.gitbook/assets/concurrentProgram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/concurrentProgram.png -------------------------------------------------------------------------------- /.gitbook/assets/harmonyOS.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/harmonyOS.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029224401395.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029224401395.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029224437136.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029224437136.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029224506176.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029224506176.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029224736803.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029224736803.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029224820647.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029224820647.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029224941882.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029224941882.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029225106724.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029225106724.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029225304889.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029225304889.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029225350619.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029225350619.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029230138054.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029230138054.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029230224316.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029230224316.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029230504891.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029230504891.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029230535984.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029230535984.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029230622120.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029230622120.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029230909895.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029230909895.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231106891.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231106891.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231132412.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231132412.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231155238.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231155238.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231304304.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231304304.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231543567.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231543567.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231611608.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231611608.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231706834.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231706834.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231908883.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231908883.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231936719.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231936719.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201029231952670.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201029231952670.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105183618529.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105183618529.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105184327763.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105184327763.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105184919660.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105184919660.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105185230667.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105185230667.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105185431196.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105185431196.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105185630758.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105185630758.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105185806532.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105185806532.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105190333596.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105190333596.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105190439805.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105190439805.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105191248594.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105191248594.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105191705757.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105191705757.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105194030384.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105194030384.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105194707507.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105194707507.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105195029800.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105195029800.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105195154527.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105195154527.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105195524932.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105195524932.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105195843958.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105195843958.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105195943007.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105195943007.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105200112512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105200112512.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105200123601.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105200123601.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105200412145.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105200412145.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105200815104.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105200815104.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105201018655.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105201018655.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105201421501.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105201421501.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105201746860.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105201746860.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105201939088.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105201939088.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105202101633.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105202101633.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201105235312349.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201105235312349.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201109140057119.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201109140057119.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201109140605829.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201109140605829.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201109154728420.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201109154728420.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201109154844509.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201109154844509.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201112191544354.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201112191544354.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201112191630283.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201112191630283.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201112193329365.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201112193329365.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201112193357268.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201112193357268.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201112194234928.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201112194234928.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201112194358502.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201112194358502.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201112194555582.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201112194555582.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201112195502575.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201112195502575.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201123205009821.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201123205009821.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126184745576.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126184745576.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126185008506.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126185008506.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126185233403.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126185233403.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126191225969.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126191225969.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126191650221.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126191650221.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126194125039.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126194125039.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126195311513.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126195311513.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126195425756.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126195425756.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126201000426.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126201000426.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126221950557.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126221950557.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126230831572.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126230831572.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126231116221.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126231116221.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126231403264.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126231403264.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126231437769.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126231437769.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201126231722298.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201126231722298.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201127170432941.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201127170432941.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201201151956869.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201201151956869.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210134143907.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210134143907.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210134328575.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210134328575.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210135019104.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210135019104.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210135047052.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210135047052.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210145819255.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210145819255.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210151627827.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210151627827.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210165334864.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210165334864.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210183358390.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210183358390.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210183700963.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210183700963.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210184448955.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210184448955.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210184527645.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210184527645.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210184850528.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210184850528.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210191310040.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210191310040.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210192001954.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210192001954.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210193321202.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210193321202.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210193735607.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210193735607.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210195519912.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210195519912.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210200518022.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210200518022.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210200637330.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210200637330.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201210201540194.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201210201540194.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216173124146.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216173124146.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216175534756.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216175534756.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216175748133.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216175748133.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216180114246.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216180114246.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216180216650.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216180216650.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216180422745.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216180422745.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216180523896.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216180523896.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216202538515.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216202538515.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216204823876.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216204823876.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216205125278.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216205125278.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216210158092.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216210158092.png -------------------------------------------------------------------------------- /.gitbook/assets/image-20201216210347469.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/image-20201216210347469.png -------------------------------------------------------------------------------- /.gitbook/assets/market.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/market.png -------------------------------------------------------------------------------- /.gitbook/assets/mayMustSum.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitbook/assets/mayMustSum.png -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/LICENSE -------------------------------------------------------------------------------- /README.assets/image-20201231205814145.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/README.assets/image-20201231205814145.png -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/README.md -------------------------------------------------------------------------------- /SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/SUMMARY.md -------------------------------------------------------------------------------- /ch0/00-01-why-this-book.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch0/00-01-why-this-book.md -------------------------------------------------------------------------------- /ch0/00-02-sources-and-license.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch0/00-02-sources-and-license.md -------------------------------------------------------------------------------- /ch0/ch0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch0/ch0.md -------------------------------------------------------------------------------- /ch1/1_Intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/1_Intro.md -------------------------------------------------------------------------------- /ch1/2IntermediateRepresentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/2IntermediateRepresentation.md -------------------------------------------------------------------------------- /ch1/34DataFlowAnalysis.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/34DataFlowAnalysis.md -------------------------------------------------------------------------------- /ch1/56DataFlowAnalysisFoundation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/56DataFlowAnalysisFoundation.md -------------------------------------------------------------------------------- /ch1/ch1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/ch1.md -------------------------------------------------------------------------------- /ch1/images/1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/images/1.png -------------------------------------------------------------------------------- /ch1/images/2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/images/2.png -------------------------------------------------------------------------------- /ch1/images/3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/images/3.png -------------------------------------------------------------------------------- /ch1/images/4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/images/4.png -------------------------------------------------------------------------------- /ch1/images/5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/images/5.png -------------------------------------------------------------------------------- /ch1/images/6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/images/6.png -------------------------------------------------------------------------------- /ch1/images/7.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/images/7.png -------------------------------------------------------------------------------- /ch1/images/8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/images/8.png -------------------------------------------------------------------------------- /ch1/img/1_Intro/image-20210902200335848.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/1_Intro/image-20210902200335848.png -------------------------------------------------------------------------------- /ch1/img/1_Intro/image-20210902201618713.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/1_Intro/image-20210902201618713.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909175715157.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909175715157.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909180558685.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909180558685.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909192214368.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909192214368.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909192230838.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909192230838.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909193624370.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909193624370.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909193825373.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909193825373.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909194221057.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909194221057.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909194550772.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909194550772.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909194912657.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909194912657.png -------------------------------------------------------------------------------- /ch1/img/2_Intermediate Representation/image-20210909195613197.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/2_Intermediate Representation/image-20210909195613197.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917153822357.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917153822357.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917154034546.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917154034546.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917162309404.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917162309404.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917162405362.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917162405362.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917162747257.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917162747257.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917163542130.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917163542130.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917164337106.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917164337106.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917165027657.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917165027657.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917165047931.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917165047931.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917165459729.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917165459729.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917171457003.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917171457003.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917171825938.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917171825938.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917184215918.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917184215918.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917185149738.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917185149738.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917193557643.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917193557643.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917200639739.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917200639739.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917201617719.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917201617719.png -------------------------------------------------------------------------------- /ch1/img/3_4_Data Flow Analysis/image-20210917202539780.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/3_4_Data Flow Analysis/image-20210917202539780.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20210923162141398.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20210923162141398.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20210923165949698.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20210923165949698.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009185424077.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009185424077.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009190320346.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009190320346.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009190612357.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009190612357.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009192219561.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009192219561.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009193258050.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009193258050.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009193822041.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009193822041.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009194808421.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009194808421.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009195346660.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009195346660.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009200111058.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009200111058.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009200302010.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009200302010.png -------------------------------------------------------------------------------- /ch1/img/5_6_Data Flow Analysis Foundation/image-20211009200914835.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch1/img/5_6_Data Flow Analysis Foundation/image-20211009200914835.png -------------------------------------------------------------------------------- /ch2/ch2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch2/ch2.md -------------------------------------------------------------------------------- /ch3/context-sensitivity/03-04-context-sensitivity.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch3/context-sensitivity/03-04-context-sensitivity.md -------------------------------------------------------------------------------- /ch3/context-sensitivity/03-05-cs2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch3/context-sensitivity/03-05-cs2.md -------------------------------------------------------------------------------- /ch3/context-sensitivity/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch3/context-sensitivity/README.md -------------------------------------------------------------------------------- /ch3/pointer-analysis/03-01-pointer-analysis-spa.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch3/pointer-analysis/03-01-pointer-analysis-spa.md -------------------------------------------------------------------------------- /ch3/pointer-analysis/03-02-pointer2-analysis-spa.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch3/pointer-analysis/03-02-pointer2-analysis-spa.md -------------------------------------------------------------------------------- /ch3/pointer-analysis/03-03-pointer3-analysis-spa.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch3/pointer-analysis/03-03-pointer3-analysis-spa.md -------------------------------------------------------------------------------- /ch3/pointer-analysis/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch3/pointer-analysis/README.md -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217183223733.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217183223733.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217183451069.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217183451069.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217184823323.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217184823323.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217185309441.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217185309441.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217185829167.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217185829167.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217190510106.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217190510106.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217191513356.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217191513356.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217191608133.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217191608133.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217191941119.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217191941119.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217193802763.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217193802763.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217194544398.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217194544398.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217195126758.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217195126758.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217195814591.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217195814591.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217200536542.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217200536542.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217200616889.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217200616889.png -------------------------------------------------------------------------------- /ch4/04-01-security.assets/image-20201217201336388.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.assets/image-20201217201336388.png -------------------------------------------------------------------------------- /ch4/04-01-security.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-01-security.md -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223184349163.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223184349163.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223184415502.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223184415502.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223185015690.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223185015690.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223185231533.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223185231533.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223185504296.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223185504296.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223185750701.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223185750701.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223185957740.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223185957740.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223190539380.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223190539380.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223190710495.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223190710495.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223190916420.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223190916420.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223191303096.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223191303096.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223191451507.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223191451507.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223191716873.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223191716873.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223192111827.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223192111827.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223193351919.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223193351919.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223193808413.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223193808413.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223194245876.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223194245876.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223194326258.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223194326258.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223194559347.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223194559347.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223195004344.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223195004344.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223195501180.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223195501180.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223200243589.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223200243589.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223200506410.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223200506410.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223200617134.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223200617134.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223200945544.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223200945544.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223201109543.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223201109543.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223201354991.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223201354991.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223201428109.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223201428109.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223201612811.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223201612811.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223201746117.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223201746117.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223201956852.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223201956852.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.assets/image-20201223202140289.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.assets/image-20201223202140289.png -------------------------------------------------------------------------------- /ch4/04-02-Datalog-Based-PA.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/04-02-Datalog-Based-PA.md -------------------------------------------------------------------------------- /ch4/ch4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch4/ch4.md -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201224200732868.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201224200732868.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201224201312394.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201224201312394.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201224201921134.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201224201921134.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231184204252.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231184204252.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231184249491.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231184249491.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231185030483.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231185030483.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231185419312.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231185419312.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231185639039.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231185639039.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231190743854.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231190743854.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231191027738.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231191027738.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231191043066.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231191043066.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231191553161.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231191553161.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231191923368.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231191923368.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231192128228.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231192128228.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231193305999.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231193305999.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231193404292.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231193404292.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231193423998.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231193423998.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231193951460.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231193951460.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231194039123.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231194039123.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231194247160.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231194247160.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231194752369.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231194752369.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231195241378.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231195241378.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231195259204.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231195259204.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231195711805.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231195711805.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231195848429.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231195848429.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231200145777.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231200145777.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231200214568.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231200214568.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231200351183.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231200351183.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231200406642.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231200406642.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231200623730.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231200623730.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231200656200.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231200656200.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231201028380.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231201028380.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231202231523.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231202231523.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.assets/image-20201231202450969.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.assets/image-20201231202450969.png -------------------------------------------------------------------------------- /ch5/05-01-IFDS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-01-IFDS.md -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224185622416.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224185622416.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224185800853.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224185800853.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224191028463.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224191028463.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224191640084.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224191640084.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224191711227.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224191711227.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224191813323.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224191813323.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224193417814.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224193417814.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224193616512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224193616512.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224193811113.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224193811113.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224193954800.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224193954800.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224194144120.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224194144120.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224194505888.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224194505888.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224195102570.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224195102570.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224195524083.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224195524083.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224200127291.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224200127291.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.assets/image-20201224200343625.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.assets/image-20201224200343625.png -------------------------------------------------------------------------------- /ch5/05-02-Soundiness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/05-02-Soundiness.md -------------------------------------------------------------------------------- /ch5/2DC0453A-EB41-4678-8A81-E6E48E4C62B4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/2DC0453A-EB41-4678-8A81-E6E48E4C62B4.png -------------------------------------------------------------------------------- /ch5/ch5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RangerNJU/Static-Program-Analysis-Book/HEAD/ch5/ch5.md --------------------------------------------------------------------------------