Skip to content

History

New page

Revisions

  • Updated Build LLVM and Clang from source code (markdown)

    @jumormt jumormt committed Aug 1, 2024
    4634f71

  • Updated Build LLVM and Clang from source code (markdown)

    @jumormt jumormt committed Aug 1, 2024
    c2da7cc

  • Updated Setup Guide (markdown)

    @samikshaanirudh samikshaanirudh committed Jul 26, 2024
    6952fa1

  • Updated Analyze a Simple C Program (markdown)

    @yuleisui yuleisui committed Jul 2, 2024
    b22c113

  • Update llvm 14 to llvm 16

    @TalbenXu TalbenXu committed Jun 10, 2024
    213600b

  • Updated Analyze a Simple C Program (markdown)

    @guanqin-123 guanqin-123 committed Apr 9, 2024
    be5ee1f

  • Updated Setup Guide (markdown)

    @yuleisui yuleisui committed Mar 20, 2024
    588ec6e

  • Updated Setup SVF in CLion (markdown)

    @bjjwwang bjjwwang committed Mar 11, 2024
    50d4ab3

  • Updated Setup Guide (markdown)

    @bjjwwang bjjwwang committed Mar 8, 2024
    1c89913

  • Updated Set up the Debugging Environment for SVF in VSCode (markdown)

    @jumormt jumormt committed Dec 22, 2023
    b3c8c9c

  • Updated Setup Guide (Autoconf) (markdown)

    @Johanmyst Johanmyst committed Dec 20, 2023
    2a2a7a1

  • update cpp property configuration

    @jumormt jumormt committed Dec 19, 2023
    2046af0

  • Updated Write a source sink analyzer (markdown)

    @ucchiee ucchiee committed Dec 12, 2023
    f72fd68

  • Updated Write a source sink analyzer (markdown)

    @ucchiee ucchiee committed Dec 12, 2023
    32f79e3

  • fixed cli option ("--dump-vfg" -> "-dump-vfg")

    @ucchiee ucchiee committed Dec 12, 2023
    75f6efd

  • Updated Write a flow and field insensitive pointer analysis (markdown)

    @ucchiee ucchiee committed Dec 10, 2023
    7f48dc8

  • Updated Write a source sink analyzer (markdown)

    @ucchiee ucchiee committed Dec 10, 2023
    0d9302a

  • Updated Write a flow and field insensitive pointer analysis (markdown)

    @ucchiee ucchiee committed Dec 10, 2023
    d15f955

  • Updated A simple driver example of SVF (markdown)

    @ucchiee ucchiee committed Dec 10, 2023
    6c46150

  • Updated Handling External APIs with extapi.c (markdown)

    @shuangxiangkan shuangxiangkan committed Sep 27, 2023
    d851860

  • Updated SVF Point‐to Analysis Results Read and Write (markdown)

    @JasonZhongZexin JasonZhongZexin committed Sep 17, 2023
    eb700a3

  • Created SVF Point-to Analysis Results Read and Write (markdown)

    @JasonZhongZexin JasonZhongZexin committed Sep 17, 2023
    86e4743

  • Updated Handling External APIs with extapi.c (markdown)

    @bjjwwang bjjwwang committed Aug 24, 2023
    2a4b3b2

  • Updated Handling External APIs with extapi.c (markdown)

    @shuangxiangkan shuangxiangkan committed Aug 21, 2023
    512a2b0

  • Updated Handling External APIs with extapi.c (markdown)

    @shuangxiangkan shuangxiangkan committed Aug 18, 2023
    8e61c80

  • Updated Handling External APIs with extapi.c (markdown)

    @shuangxiangkan shuangxiangkan committed Aug 17, 2023
    f99ba58

  • Updated Handling External APIs with extapi.c (markdown)

    @shuangxiangkan shuangxiangkan committed Aug 16, 2023
    ff38fb7

  • Updated Specifications in ExtAPI.json (markdown)

    @shuangxiangkan shuangxiangkan committed Aug 16, 2023
    efcbc5e

  • Updated Specifications in ExtAPI.json (markdown)

    @shuangxiangkan shuangxiangkan committed Aug 16, 2023
    d2e3f45

  • Created Handling External APIs with extapi.c (markdown)

    @shuangxiangkan shuangxiangkan committed Aug 16, 2023
    2ae41a5