{"version":1,"pages":[{"id":"-LpYF7bEYlrLS-mPmv-a","title":"Overview","pathname":"/","siteSpaceId":"sitesp_baoNS","description":""},{"id":"-LpYIe9kbYRsRfkKQRus","title":"Introduction tutorial","pathname":"/tutorial","siteSpaceId":"sitesp_baoNS","description":"Estimated time to complete: 40 minutes"},{"id":"-LpYN9bSYGPHowdWITEC","title":"Prepare the demo project","pathname":"/tutorial/prepare-the-demo-project","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"Introduction tutorial"}]},{"id":"-LpYU8U6lVBLAdvavzY1","title":"Set up the continuous analysis","pathname":"/tutorial/set-up-the-continuous-verification","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"Introduction tutorial"}]},{"id":"-Lq6xYrral1xB66VO1ng","title":"Find the root cause of the undefined behavior","pathname":"/tutorial/find-the-root-cause-of-the-undefined-behaviors","siteSpaceId":"sitesp_baoNS","description":"On the previous page, we added a tis.config file and detected an undefined behavior.","breadcrumbs":[{"label":"Introduction tutorial"}]},{"id":"-Lq7-qhEMHna8TsTfXl_","title":"Prove the absence of undefined behaviors","pathname":"/tutorial/prove-the-absence-of-undefined-behaviors","siteSpaceId":"sitesp_baoNS","description":"On the previous page, we found the root cause of the detected undefined behavior.","breadcrumbs":[{"label":"Introduction tutorial"}]},{"id":"-LqKz_Anay4lahvx9B35","title":"Go beyond your test suite","pathname":"/tutorial/go-beyond-your-test-suite","siteSpaceId":"sitesp_baoNS","description":"On the previous page, we proved the absence of undefined behaviors on the test.","breadcrumbs":[{"label":"Introduction tutorial"}]},{"id":"-M3p4RITBSWL-wqN-hvk","title":"C++ tutorial","pathname":"/tutorial-cxx","siteSpaceId":"sitesp_baoNS","description":"Estimated time to complete: 20 minutes"},{"id":"-M3ubOkI5PYfM8J6vjIk","title":"Prerequisites","pathname":"/tutorial-cxx/prerequisites","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"C++ tutorial"}]},{"id":"-M3ubeINmz3jk36W47kL","title":"Identifiers, constructors and calling conventions","pathname":"/tutorial-cxx/identifiers-constructors-and-calling-conventions","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"C++ tutorial"}]},{"id":"-M3vE0AKIMfpYeuEyrK_","title":"Learn more","pathname":"/tutorial-cxx/learn-more","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"C++ tutorial"}]},{"id":"-LpZ2iOGsixLfF2hXC7D","title":"Configuration files","pathname":"/configuration-file","siteSpaceId":"sitesp_baoNS","description":""},{"id":"-MdbG6f7tQvfW6eLB7Im","title":"Build preparation stage","pathname":"/configuration-file/build-preparation-script","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"Configuration files"}]},{"id":"-MdbGGDcioY2KuyzEmTi","title":"Analyses configuration","pathname":"/configuration-file/analyses-configuration-file","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"Configuration files"}]},{"id":"-Me51ifRMNNSRN9pUw8b","title":"Tips: Switching from a Global configuration to a Committed configuration","pathname":"/configuration-file/tips-switching-from-a-global-configuration-to-a-committed-configuration","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"Configuration files"}]},{"id":"-Me4RVk7JQupOPbWAcaC","title":"Tips: Generalize analyses for several architectures","pathname":"/configuration-file/tips-generalize-analyses-for-several-architectures","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"Configuration files"}]},{"id":"-Me4T6xKEzHmegy06jXn","title":"Tips: Factorize options between several analyses","pathname":"/configuration-file/tips-factorize-options-between-several-analyses","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"Configuration files"}]},{"id":"-LxzG3nC6U3BC-cbRQ92","title":"Get help","pathname":"/get-help","siteSpaceId":"sitesp_baoNS","description":""},{"id":"-M5XZSkdWoW_zVyh2gy8","title":"Changelog","pathname":"/changelog","siteSpaceId":"sitesp_baoNS","description":""},{"id":"-MeUh0zUrs48R9DFeRCT","title":"Glossary","pathname":"/glossary","siteSpaceId":"sitesp_baoNS","description":""},{"id":"-Lq74lyHaVG89qrrdITq","title":"FAQ","pathname":"/faq","siteSpaceId":"sitesp_baoNS","description":""},{"id":"-LyZHuX7gq59J5pxyEzA","title":"Supported architectures","pathname":"/reference/supported-architectures","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"REFERENCE"}]},{"id":"-MBeA7J1wgUxjIYX1suJ","title":"Add a status badge","pathname":"/reference/status-badge","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"REFERENCE"}]},{"id":"-M-uAYsv1WKE3l01PVOu","title":"GitHub organizations","pathname":"/reference/github-organizations","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"REFERENCE"}]},{"id":"-M-swCVYtXrdZxnW0hsl","title":"CWE coverage","pathname":"/reference/cwe-coverage","siteSpaceId":"sitesp_baoNS","description":"","breadcrumbs":[{"label":"REFERENCE"}]}]}