let-s-build-a-symbolic-analyser-and-automatically-find-bugs-jon-manning-pycon-au-2019.json

{
  "copyright_text": null,
  "description": "Learn the theory and practice of symbolic analysis, a method of fake-running your code that lets you discover bugs and verify functionality without actually executing code, using Z3 and Python!\n\nhttps://2019.pycon-au.org/talks/lets-build-a-symbolic-analyser-and-automatically-find-bugs\n\nSun Aug  4 11:50:00 2019 at C3.6",
  "duration": 1825,
  "language": "eng",
  "recorded": "2019-08-04",
  "related_urls": [
    {
      "label": "Conference schedule",
      "url": "https://2019.pycon-au.org/schedule"
    },
    {
      "label": "Talk schedule",
      "url": "https://2019.pycon-au.org/talks/lets-build-a-symbolic-analyser-and-automatically-find-bugs"
    }
  ],
  "speakers": [
    "Jon Manning"
  ],
  "tags": [],
  "thumbnail_url": "https://i.ytimg.com/vi/xa5oFc7DLU0/maxresdefault.jpg",
  "title": "Let's Build a Symbolic Analyser And Automatically Find Bugs",
  "videos": [
    {
      "type": "youtube",
      "url": "https://www.youtube.com/watch?v=xa5oFc7DLU0"
    }
  ]
}