display_name: PA+SymEx
description: static/dynamic/program analysis, symbolic/concolic execution
additional_fields: {"skyfeedBuilder":{"blocks":[{"id":"aaafvqmxkkgkg","type":"input","inputType":"firehose"},{"id":"aaafvqmxkjvx6","type":"regex","value":"(static|dynamic|program)\\s*-?\\s*analy(sis|zer)|symbolic\\s*-?\\s*execution|concolic|symex","caseSensitive":false},{"id":"aaafvqpgyliwm","type":"remove","subject":"duplicates"},{"id":"aaafvqqhp5xda","key":"aaafvqmxker6k","type":"remember_posts"},{"id":"aaafvqmxkoy5i","type":"sort","sortType":"created_at"}],"license":"EUPL-1.2","displayName":"PA+SymEx"}}