-
Notifications
You must be signed in to change notification settings - Fork 7
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Trace duplication on
DSpacebugSomething isn't workingSomething isn't workingStatus: Open.#223 In seqra/opentaint;Add rules writing guide
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.#218 In seqra/opentaint;Update
project.yamlstructure docsbugSomething isn't workingSomething isn't workingdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#197 In seqra/opentaint;Extract approximations in a separate directory by analogy with rules
enhancementNew feature or requestNew feature or requestStatus: Open.#195 In seqra/opentaint;- Status: Open.#194 In seqra/opentaint;
Add soft interruption for analyzer
enhancementNew feature or requestNew feature or requestStatus: Open.#192 In seqra/opentaint;Support capturing fields in
patternandpattern-notenhancementNew feature or requestNew feature or requestStatus: Open.#188 In seqra/opentaint;Support method sanitizers
enhancementNew feature or requestNew feature or requestStatus: Open.#170 In seqra/opentaint;Support conditional sanitizers
enhancementNew feature or requestNew feature or requestStatus: Open.#169 In seqra/opentaint;Scan with
--dry-runoption should load rules and approximationsenhancementNew feature or requestNew feature or requestStatus: Open.#165 In seqra/opentaint;Treat sanitizers as special propagators to defer trace filtering to the backward pass
enhancementNew feature or requestNew feature or requestStatus: Open.#162 In seqra/opentaint;Support tags on rules and reference them by tag in join mode (
- taginstead of- rule)enhancementNew feature or requestNew feature or requestStatus: Open.#152 In seqra/opentaint;