• Stranger

  • Referenced in 14 articles [sw09152]
  • Stranger: An Automata-Based String Analysis Tool for PHP. Stranger is an automata-based string ... analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. Stranger uses...
  • ftnonpar

  • Referenced in 67 articles [sw11128]
  • Kovac, A. (2001) Local Extremes, Runs, Strings and Multiresolution (with discussion) Annals of Statistics ... local extreme values. Computational Statistics and Data Analysis (to appear) D”umbgen, L. and Kovac ... Extensions of smoothing via taut strings Davies, P. L. (1995) Data features. Statistica Neerlandica...
  • JSAI

  • Referenced in 5 articles [sw30521]
  • reduced product of type inference, pointer analysis, string analysis, integer and boolean constant propagation...
  • Z3-str

  • Referenced in 7 articles [sw19493]
  • based string solver for web application analysis. Analyzing web applications requires reasoning about strings ... terms. The atomic formulas are equations over string terms, and (in)-equalities over integer terms ... enable whole program symbolic, static and dynamic analysis, but also it performs better than other ... support of a wide spectrum of string operations is key to reducing false positives...
  • Hmisc

  • Referenced in 43 articles [sw04530]
  • library contains many functions useful for data analysis, high-level graphics, utility operations, functions ... values, advanced table making, variable clustering, character string manipulation, conversion of S objects to LaTeX...
  • HAMPI

  • Referenced in 20 articles [sw09864]
  • solver for string constraints. Hampi is designed for constraints generated by program analysis tools, automated ... constraints, Hampi outputs a string that satisfies all the constraints, or reports that the constraints...
  • S3

  • Referenced in 7 articles [sw19495]
  • vulnerability analysis of web programs which work on string inputs, we present...
  • StrSolve

  • Referenced in 5 articles [sw21857]
  • heart of many program analysis and testing frameworks. Stand-alone string constraint solving tools, called...
  • Symbolic automata

  • Referenced in 5 articles [sw13262]
  • toolkit supports analysis of finite symbolic automata and transducers over strings. It also handles transducers ... context of web security for analysis of potentially malicious data over Unicode characters...
  • MemCAD

  • Referenced in 1 article [sw21714]
  • designing a framework for the static analysis of programs manipulating complex memory states. A very ... such as arrays, linked structures, strings... While static analysis techniques have been developped to deal...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • years, string solvers have become an essential component in many formal verification, security analysis...
  • DReX

  • Referenced in 2 articles [sw16949]
  • properties, and decidable analysis questions, and admits a number of string operations such as insertion...
  • Harry

  • Referenced in 1 article [sw15426]
  • similarity measures, including common string distances and string kernels, such as the Levenshtein distance ... distributed computing, enabling the analysis of large data sets of strings. Harry supports common data...
  • Sally

  • Referenced in 2 articles [sw08470]
  • vector spaces Strings and sequences are ubiquitous in many areas of data analysis. However, only ... present Sally, a tool for embedding strings in vector spaces that allows for applying...
  • AMNESIA

  • Referenced in 11 articles [sw12039]
  • AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks. The use of web applications ... injection attacks in which specially crafted input strings result in illegal queries to a database ... static part, the technique uses program analysis to automatically build a model of the legitimate...
  • BioRuby

  • Referenced in 5 articles [sw21661]
  • fulfilling methods of the Ruby’s String class and with regular expressions. Daily tools like ... many other softwares for the biological analysis can be executed within the BioRuby script...
  • PAMA

  • Referenced in 1 article [sw02545]
  • PAMA: a fast string matching algorithm. String matching is a fundamental operation in computer science ... protein sequence analysis. In this paper, we propose a fast string matching algorithm, PAMA (PAttern...
  • Medusa

  • Referenced in 2 articles [sw21915]
  • Medusa: a simple tool for interaction graph analysis. Medusa is a Java application for visualizing ... interaction, such as data from the STRING database. It features an intuitive user interface developed...
  • GHGfrack

  • Referenced in 1 article [sw25220]
  • rotation of drill string, drilling mud circulation, and fracturing pumps. Sensitivity analysis of the model...
  • Rex

  • Referenced in 4 articles [sw11888]
  • explorer. Constraints in form regular expressions over strings are ubiquitous. They occur often in programming ... support for regular expression constraints in program analysis and testing has several useful applications...