Upgrade to Pro — share decks privately, control downloads, hide ads and more …

PHPStan拡張のコードから読み解く静的解析の威力と可能性 / PHPStan extens...

tzmfreedom
December 21, 2024
300

PHPStan拡張のコードから読み解く静的解析の威力と可能性 / PHPStan extension code reading

tzmfreedom

December 21, 2024
Tweet

Transcript

  1. ࣗݾ঺հ w ా࣮੣!U[N@GSFFEPN w גࣜձࣾΤεɾΤϜɾΤεͷΤϯδχΞ w 1)1ྺ͸ʙ೥͘Β͍ w 1)1ܥΧϯϑΝϨϯεͰͷొஃ͸̎೥ͿΓʜʂʂ w

    QIQDPOಠࣗϑϨʔϜϫʔΫ1)1ΞϓϦέʔγϣϯͷվળઓུ w 1)1FSLBJHJ%#(QΛ࢖ͬͯ1)1ͷσόοΨʔΛͭ͘Ζ͏ w QIQDPOQIQTSDΛಡΜͰΈΑ͏
  2. ͦΜͳ୯७ͳϛε͢Δͱࢥͬͨʁʁ w ΈΜͳϛε͢Δ͠Զ΋͢Δ w ࣾαʔϏε΄Ͳ1)14UBOͷಋೖܦݧ͕͋Γ·͕͢ɺલड़ͷΤϥʔ͸શ ͯ͋Γ·ͨ͠ w ಛʹςετ͕े෼ॻ͔Ε͍ͯͳ͍ΞϓϦέʔγϣϯʹରͯ͠ઈେͳޮՌΛ ൃش͠·͢ w

    ͲΜͳαʔϏεͰ΋ಋೖݕ౼͢ΔՁ஋͸े෼ʹ͋Γ·͢ w ·ͣ͸-FWFM͔Βͷద༻Ͱྑ͍͠ɺͨ͘͞ΜJHOPSF&SSPSͯ͠ྑ͍ͷͰɺ ͍ܰؾ࣋ͪͰೖΕͪΌ͍·͠ΐ͏ʂ
  3. $VTUPN3VMF w ݕ஌ϧʔϧΛ௥Ճ͢Δػೳ w ྫ͑͹ʜ w ಛఆͷϝιουΛར༻ෆՄʹ͢ΔWBS@EVNQ FDIP ʜ w

    ݫີൺֱΛڧ੍͢ΔJO@BSSBZ   w fi OBMΛڧ੍ͨ͠ΓܧঝΛېࢭ͢Δ w εʔύʔάϩʔόϧม਺ͷར༻Λېࢭ͢Δ w ໋໊نଇͷద༻ʢQSF fi Y TV ff i Y ʜʣ
  4. $MBTT3FGMFDUJPO&YUFOTJPO w ϚδοΫϝιουʢ@@TFU  @@HFU  @@DBMM ʣͷԾ૝తͳϓϩύς ΟɾϝιουΛఆٛ͢Δ֦ுػೳ w

    ྫ͑͹ʜ w &MPRVFOUͷϓϩύςΟͷܕΛਪ࿦͢Δ w &MPRVFOUͷΫΤϦϏϧμʔͷϚδοΫϝιουΛਪ࿦͢Δ ʢXIFSF999ͳͲʣ w 1)1%PDͷ!QSPQFSUZ΍!NFUIPEΛղऍ͢Δػߏ΋͜ͷ֦ுػೳͰ ࣮૷͞Ε͍ͯΔ
  5. ߟ࡯ܕ෇͖03.ͱ-BSBTUBO w --Ͱ΋ܕͷ࿩୊͕ग़͕ͪɻ1)14UBO͸ͦͷ̍ͭɻ w 03.΋1SJTNB /PEFKT5ZQF4DSJQU ͳͲܕ෇͖ͷ03.͕޷·Ε Δ܏޲ w &MPRVFOUϞσϧ͸ϚδοΫϝιουࡇΓͰͦΕ͚ͩͰ͸ܕਪ࿦͕ݫ

    ͍͠ͷ͕ͩɺ1)14UBO-BSBTUBOʹΑΓܕ෇͖03.ʹਐԽ͍ͯ͠Δ w ͨͩ͠ɺίʔυิ׬͸1)14UBOͰ͸ิ͑ͳ͍ͷͰ ผ్ΤσΟλͷϓϥάΠϯ΍MBSBWFMJEFIFMQFSΛ࢖͏ܗʹͳΔ