Dartにおける静的解析 / FlutterKaigi 2022

by hisaichi5518

Slide 1

Slide 1 text

©︎ 2022 10X, Inc. %BSUʹ͓͚Δ੩తղੳ 1

Slide 2

Slide 2 text

2 ࣗݾ঺հ ©︎ 2022 10X, Inc. !IJTBJDIJ גࣜձࣾ9ιϑτ΢ΣΞΤϯδχΞ 'MVUUFS💙 OBUJWF@XFCWJFXMJOUJOH

Slide 3

Slide 3 text

©︎ 2022 10X, Inc. 3 ੩తղੳͬͯͳΜͩʁ

Slide 4

Slide 4 text

4 ੩తղੳͬͯͳΜͩʁ ©︎ 2022 10X, Inc. l੩తίʔυղੳ ͍͖ͤͯίʔυ͔͍͖ͤɺTUBUJDDPEFBOBMZTJT ·ͨ͸੩తϓϩ άϥϜղੳ TUBUJDQSPHSBNBOBMZTJT ͱ͸ɺίϯϐϡʔλͷιϑτ΢ΣΞͷղੳख ๏ͷҰछͰ͋Γɺ࣮ߦϑΝΠϧΛ࣮ߦ͢Δ͜ͱͳ͘ղੳΛߦ͏͜ͱɻz Ҿ༻ݩIUUQTKBXJLJQFEJBPSHXJLJ੩తίʔυղੳ

Slide 5

Slide 5 text

5 ղੳͬͯͳʹ͢Δͷʁ ©︎ 2022 10X, Inc. ίʔυͷՄಡੑΛԼ͛ͨΓόάΛੜΈ΍͘͢͢ΔͳͲͰආ͚Δ΂͖ίʔυͷॻ͖ํΛ ϧʔϧͱͯ࣋ͪ͠ɺϧʔϧʹ൓͢ΔίʔυͷൃݟͱܯࠂΛߦ͏ɻͦͯͦ͠ͷϧʔϧʹ ߹͏Α͏ʹࣗಈͰमਖ਼Ͱ͖ΔͳΒमਖ਼͢Δ ˞ࠓճͷεϥΠυͰͷఆٛ

Slide 6

Slide 6 text

6 ۩ମྫEBSUBOBMZ[F ©︎ 2022 10X, Inc.

Slide 7

Slide 7 text

7 ۩ମྫEBSU fi Y ©︎ 2022 10X, Inc.

Slide 8

Slide 8 text

©︎ 2022 10X, Inc. 8 9Ͱ͸ ੩తղੳΛͲ͏׆༻͍ͯ͠Δʁ

Slide 9

Slide 9 text

9 େલఏ fl VUUFSBOBMZ[FEBSUBOBMZ[F࢖ͬͯΔ ©︎ 2022 10X, Inc. ɾBOBMZTJT@PQUJPOTZBNMͰར༻͢ΔϧʔϧΛઃఆͰ͖Δ ɾݸͣͭϧʔϧΛࢦఆͰ͖Δ͕ɺϕετϓϥΫςΟεʹ৐Δͷ͕͍͍ ɾ࠷ۙ͸ɺެࣜͰ fl VUUFS@MJOUT MJOUT͕͋Δ ɾ9Ͱ͸QFEBOUJDΛ࢖͍ͬͯΔɻ(PPHMF಺෦޲͚Ͱࠓ͸ඇਪ঑

Slide 10

Slide 10 text

©︎ 2022 10X, Inc. 10 ϧʔϧʹ൓͢Δίʔυͷൃݟͱܯࠂ Ͱಠࣗʹ΍͍ͬͯΔ͜ͱ

Slide 11

Slide 11 text

11 ϧʔϧʹ൓͢ΔίʔυͷൃݟͱܯࠂͰಠࣗʹ΍͍ͬͯΔ͜ͱ Ұ෦ ©︎ 2022 10X, Inc. ɾ 'MVUUFS ಛఆͷ৔ॴҎ֎Ͱ*NQPSUͯ͠΄͘͠ͳ͍ϑΝΠϧΛJNQPSU͍ͯ͠Δ৔߹ʹΤϥʔ ɾ 'MVUUFS ࣗલͰఆ͍ٛͯ͠Δ5FYU4UZMFҎ֎Λར༻͢ΔͱΤϥʔ ɾ αʔό 'JSFTUPSFͷ*/ΫΤϦʹม਺Λࢦఆͨ͠ΒΤϥʔ ɾ αʔό ςετ࣌ʹFYQFDU-BUFS͕ඞཁͳ࣌ʹFYQFDUΛར༻͍ͯ͠ΔͱΤϥʔ ˞9͸αʔόαΠυ΋%BSUͰ͢

Slide 12

Slide 12 text

12 ಛఆͷ৔ॴҎ֎Ͱ*NQPSUͯ͠΄͘͠ͳ͍ϑΝΠϧΛJNQPSU͍ͯ͠Δ৔߹ʹΤϥʔ ©︎ 2022 10X, Inc. ɾ9ఏڙΞϓϦ͸ɺ8FCͱϞόΠϧΞϓϦʹରԠ͍ͯ͠Δ ɾ8FCͰϏϧυ͢Δ࣌ͱϞόΠϧΞϓϦͰϏϧυ͢Δ࣌ͰಡΈࠐΈ͍ͨϑΝΠϧ͕ҧ͏ͷͰ BQQEBSUΛܦ༝ͯ͠JNQPSU͢ΔΑ͏ʹ͍ͯ͠Δ ɾXFC@BQQEBSU NPCJMF@BQQEBSUΛ௚઀JNQPSU͞ΕΔͷ͸ආ͚͍ͨ

Slide 13

Slide 13 text

13 ࣗલͰఆ͍ٛͯ͠Δ5FYU4UZMFҎ֎Λར༻͢ΔͱΤϥʔ ©︎ 2022 10X, Inc. ɾ9Ͱ͸ɺར༻͢Δ5FYU4UZMFΛ5FYU4UZMFTͱ͍͏Ϋϥεʹ·ͱΊͯఆ͍ٛͯ͠Δ ɾ։ൃऀ͕ࣗલͰ5FYU4UZMFΛఆٛͯ͠ར༻͢Δͷ͸ආ͚͍ͨ

Slide 14

Slide 14 text

14 'JSFTUPSFͷ*/ΫΤϦʹม਺Λࢦఆͨ͠ΒΤϥʔ ©︎ 2022 10X, Inc. ɾ'JSFTUPSF͸*/ΫΤϦʹ஋Λ࠷େݸ͔͠ࢦఆͰ͖ͳ੍͍ݶ͕͋Δɻݸࢦఆ͢Δͱ࣮ߦ࣌ ʹΤϥʔʹͳΔ ɾม਺Λ౉͍ͯ͠Δͱ։ൃ؀ڥͰ͸ؾ෇͚ͣຊ൪ͰΤϥʔʹͳΔ͜ͱ͕͋ΔͷͰආ͚͍ͨ

Slide 15

Slide 15 text

15 'JSFTUPSFͷ*/ΫΤϦʹม਺Λࢦఆͨ͠ΒΤϥʔ ©︎ 2022 10X, Inc. ɾ഑ྻΛͦͷ··౉ͤ͹ΤϥʔʹͳΒͳ͍Α͏ʹ͍ͯ͠Δ ɾݸ਺·Ͱ͸਺͑ͯͳ͍

Slide 16

Slide 16 text

16 ςετ࣌ʹFYQFDU-BUFS͕ඞཁͳ࣌ʹFYQFDUΛར༻͍ͯ͠ΔͱΤϥʔ ©︎ 2022 10X, Inc. ɾςετ࣌ʹFYQFDUʹ'VUVSFʜΛ౉͢ͱBXBJU͞Εͣɺ࣍ͷߦͷॲཧʹҠͬͯ͠·͏ͷͰආ ͚͍ͨ

Slide 17

Slide 17 text

©︎ 2022 10X, Inc. 17 ͲͷΑ͏ʹ࣮૷͔ͨ͠ʁ

Slide 18

Slide 18 text

18 લఏEBSUBOBMZ[FͱEBSU fi Yͷ՝୊ ©︎ 2022 10X, Inc. ɾ%BSUʹ͸ɺEBSUBOBMZ[FͱEBSU fi Y͕͋Δ ɾ͔͠͠EBSUBOBMZ[F΍EBSU fi Yʹ͸։ൃऀ͕ಠࣗϧʔϧΛఆٛ͢Δ࢓૊Έ͕·ͩͳ͍ ɾͳͷͰɺಠࣗϧʔϧΛ࡞੒͍ͨ͠৔߹͸։ൃऀ͕EBSUBOBMZ[FͱEBSU fi Yͱಉ͡Α͏ͳ࣮૷Λ ࣗલͰ࣮૷͢Δඞཁ͕͋Δ IUUQTHJUIVCDPNEBSUMBOHMJOUFSJTTVFT

Slide 19

Slide 19 text

19 $-*ίϚϯυฤ ©︎ 2022 10X, Inc. ɾ%BSU4%,ʹؚ·ΕΔMJOUFSQBDLBHFΛ࢖͑͹͙࣮͢૷Ͱ͖Δ ɾϧʔϧͷॻ͖ํ͸MJOUFSʹ͋Δϧʔϧͷ࣮૷ΛಡΊ͹0, ɾIUUQTHJUIVCDPNEBSUMBOHMJOUFS ϝϦοτ w*%&্ʹࢦఠ಺༰Λදࣔ͢Δ͜ͱ͕Ͱ͖ͳ͍ wར༻͢Δͷ͸MJOUFSͷެ։͞Εͨ"1*Ͱ͸ͳ͍ͷͰյΕΔ͔΋͠Εͳ͍ σϝϦοτ

Slide 20

Slide 20 text

20 $-*ίϚϯυ࣮૷ྫ ©︎ 2022 10X, Inc.

Slide 21

Slide 21 text

21 $-*ίϚϯυ࣮ߦྫ ©︎ 2022 10X, Inc.

Slide 22

Slide 22 text

22 ࣮ࡍ࡞ͬͯΈͯ ©︎ 2022 10X, Inc. ɾ͙͢࡞Εͯศརʂ ɾίϚϯυ͕͋Δͬͯ͜ͱ͸(JUIVC"DUJPOTͳͲ$*্Ͱ΋ಈ͔ͤΔͷͰศར ɾ͚Ͳ։ൃͯ͠Δͱ͖ʹ*%&্Ͱࢦఠ͞Εͳ͍ͱؾͮ͘ͷʹ஗Εͯ։ൃମݧ͕ྑ͍ͱ͸ݴ͑ͳ͍

Slide 23

Slide 23 text

23 BOBMZ[FSQMVHJOฤ ©︎ 2022 10X, Inc. w*%&্ʹࢦఠ಺༰Λදࣔ͢Δ͜ͱ͕Ͱ͖Δ ϝϦοτ w࣮૷͢Δྔ͕ଟ͍͠σόοά͕େม $-*ίϚϯυ΋ࣗલͰ࡞Δඞཁ͋Γ wϧʔϧͷఆٛ͸ࣗલ࣮૷ͳͷͰɺ͋·ΓࢀߟʹͳΒͳ͍͔΋ σϝϦοτ

Slide 24

Slide 24 text

24 BOBMZ[FSQMVHJOͰ࣮૷͢Δඞཁ͕͋Δ΋ͷ ©︎ 2022 10X, Inc. ɾϧʔϧʹҧ൓͢Δ͔ݕূ͢Δ໾ "OBMZ[FS ɾҧ൓ͨ͠ίʔυͷܯࠂ͢Δ໾ 3FQPSUFS ɾ"OBMZ[FSͱ3FQPSUFSΛ·ͱΊΔ໾ "OBMZ[F$PNNBOE ɾBOBMZ[FSQMVHJO͔Βݺͼग़͞Εͯ"OBMZ[F$PNNBOEΛ࣮ߦ͢Δ໾ "OBMZ[FS1MVHJO ɾ$-*ίϚϯυ͔Βݺͼग़͞Εͯ"OBMZ[F$PNNBOEΛ࣮ߦ͢Δ໾ $MJ3VOOFS

Slide 25

Slide 25 text

25 BOBMZ[FSQMVHJOฤ࣮૷ྫ ©︎ 2022 10X, Inc. -JOUJOH͸ͦΕΒͷ࣮૷Λ༻ҙ͍ͯ͠ΔͷͰݺͼग़͚ͩ͢ IUUQTQVCEFWQBDLBHFTMJOUJOH

Slide 26

Slide 26 text

26 ࣮ࡍ࡞ͬͯΈͯ ©︎ 2022 10X, Inc. ɾ*%&্ʹࢦఠ಺༰͕දࣔ͞ΕΔͷͰ͙͢ؾ͚ͮͯศར ɾ࣮ͨͩ૷ͱ"OBMZ[FS1MVHJOͷσόοά͕େม ɾͱΓ͋͑ͣಈ͘ܗʹ͢ΔͷͰिؒɺϦϑΝΫλϦϯάͯ͠ʴिؒ͘Β͍

Slide 27

Slide 27 text

27 BOBMZ[FSQMVHJO͕ಈ͍͍ͯͳ͍͔΋͠Εͳ͍࣌ͷσόοάςΫ ©︎ 2022 10X, Inc. ɾFYFDVUJPOQBUIͷத਎͸ɺ૝ఆ͍ͯͨ͠಺༰ʹͳ͍ͬͯΔ͔ ɾ)0.&EBSU4FSWFSQMVHJO@NBOBHFSͷQMVHJOEBSUΛ࣮ߦͯ͠ΈͯΤϥʔʹͳΔ͔֬ ೝ ɾ"OBMZ[FSQMVHJOͰ%FCVHHFSΛ࢖͏ ΍Γํ͕ਖ਼͍͔͠͸ඍົ

Slide 28

Slide 28 text

28 ·ͣɺجຊ ©︎ 2022 10X, Inc. ɾ*OUFMJ+Λ࢖͍·͢ ɾ%BSU"OBMZUJDTλϒʹҠಈͯ͠ࣃंΛΫϦοΫ͢Δ ͱl7JFXBOBMZ[FSEJBHOPTUJDTzͱ͍͏ͷ͕ग़ΔͷͰ ΫϦοΫ ɾ"OBMZTJT4FSWFS%JBHOPTUJDT্ཱ͕͕ͪΔͷͰɺ 1MVHJOTλϒʹҠಈ ɾࠨͷঢ়ଶͩͬͨΒਖ਼͘͠ಈ͍͍ͯΔ

Slide 29

Slide 29 text

Slide 30

Slide 30 text

Slide 31

Slide 31 text

31 "OBMZ[FSQMVHJOͰ%FCVHHFSΛ࢖͏ ©︎ 2022 10X, Inc. ͜ͷυΩϡϝϯτ͕ৄ͍͠ʂ IUUQTHJUIVCDPN8PSLJWBPWFS@SFBDUUSFF NBTUFSUPPMTBOBMZ[FS@QMVHJOEFCVHHJOHUIF QMVHJO

Slide 32

Slide 32 text

32 ݱঢ়ͱࠓޙ ©︎ 2022 10X, Inc. ɾ-JOUJOHͱ͍͏ύοέʔδΛ࡞ͬͯ9Ͱ͸ར༻͍ͯ͠Δ ɾJOWFSUBTF͔ΒDVTUPN@MJOUͱ͍͏ύοέʔδ͕೥݄ʹग़ͨ ɾ͜Ε΋MJOUJOHಉ༷؆୯ʹBOBMZ[FSQMVHJOΛ࡞ΕΔ ɾ9Ͱ͸MJOUJOHΛ΍ΊͯDVTUPN@MJOUʹҠߦ͢Δ༧ఆ ɾͳͷͰMJOUJOHͰ͸ͳ͘DVTUPN@MJOUΛ࢖ͬͯͶ

Slide 33

Slide 33 text

Slide 34

Slide 34 text

34 1SPWJEFS͔Β3JWFSQPE΁ͷஔ͖׵͑ ©︎ 2022 10X, Inc. ɾ೥݄ࠒɺ1SPWJEFS͔Β3JWFSQPEʹҠߦ͍ͨ͠ ɾͪ·ͪ·มߋ͢Δͷ͸େมͳͷͰҰؾʹஔ͖׵͍͑ͨ ɾ੩తղੳͰ1SPWJEFS͔Β3JWFSQPEʹҰؾʹஔ͖׵͑Δͧʂ

Slide 35

Slide 35 text

Slide 36

Slide 36 text

36 EBSU@DPEFNPE ©︎ 2022 10X, Inc. ɾϧʔϧʹϚον͢Δίʔυͷॻ͖׵͕͑ग़དྷΔศརύοέʔδ ɾ"45ɺਖ਼نදݱΛॻ͖׵͑ͷ৚݅ʹग़དྷΔ ɾIUUQTQVCEFWQBDLBHFTDPEFNPE ɾSJWFSQPEͰ΋3JWFSQPEYܥ͔ΒYܥ΁ͷஔ͖׵͑΋DPEFNPEΛ࢖࣮ͬͯ૷͞Ε͍ͯΔ

Slide 37

Slide 37 text

Slide 38

Slide 38 text

38 ࣮ࡍ࡞ͬͯΈͯ ©︎ 2022 10X, Inc. ɾDPEFNPEͰίʔυΛॻ͖׵͑Δͷ͸؆୯ʹͰ͖ͯศར ɾϏϧυ͕ग़དྷΔͱ͜Ζ·Ͱ͸ग़དྷ͚ͨͲɺಈ͖͕ෆԺͩͬͨͷͰϚʔδ͸͠ͳ͔ͬͨ ɾҰؾʹஔ͖׵͑Δʹ͸ɺ࡞ΓࠐΉඞཁ͕͋Δ ɾͪΌΜͱ΍ΔͳΒখ࣮͘͞૷ͯ͠খ࣮͘͞ߦ͍ͯ͘͠ͷ͕Α͔ͬͨ ɾࠓ͸ۀ຿ҕୗͷਓʹख఻ͬͯ΋ΒͬͯखಈͰઈࢍҠߦத

Slide 39

Slide 39 text

Slide 40

Slide 40 text

40 ·ͱΊ ©︎ 2022 10X, Inc. ɾ੩తղੳΛ࢖͑͹ίʔυͷϧʔϧҧ൓Λݟ͚ͭͨΓमਖ਼ग़དྷͯศརʂϦ ϑΝΫλϦϯάʹ΋࢖͑Δ ɾEBSUBOBMZ[FͱEBSU fi Y͸ΧελϜϧʔϧ͕ར༻Ͱ͖ͳ͍ͷͰಠࣗϧʔϧ Λఆ͍ٛͨ͠ͳΒࣗલͰ࣮૷͢Δඞཁ͕͋Δ ɾϧʔϧҧ൓Λݟ͚ͭΔͨΊͷ࣮૷͸DVTUPN@MJOUΛ࢖͑͹ָʹ࣮૷Ͱ͖Δ ɾBOBMZ[FSQMVHJO͸MJOUJOH͕ࢀߟʹͳΔ͔΋ ɾίʔυͷॻ͖׵͑ͷ࣮૷͸DPEFNPEΛ࢖͑͹ָʹ࣮૷Ͱ͖Δ ɾҰؾʹ΍Δͷ͸େมͳͷͰখ࣮͘͞૷ɺ࣮ߦɺվળ͍ͯ͘͠ͷ͕ྑͦ͞ ͏