-
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
Export methods matched by rules
enhancementNew feature or requestNew feature or requestStatus: Open.#251 In seqra/opentaint;Require explicit override for approximations as for rules
enhancementNew feature or requestNew feature or requestStatus: Open.#249 In seqra/opentaint;Support
neutralpassthrough approximationsenhancementNew feature or requestNew feature or requestStatus: Open.#239 In seqra/opentaint;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;- 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;