Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095080680> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2095080680 abstract "We combine static analysis techniques with model- based deductive verification using SMT solvers to provide a framework that, given an analysis aspect of the source code, automatically generates an analyzer capable of inferring information about that aspect. The analyzer is generated by translating the collecting semantics of a program to a marked formula in first order logic over multiple underlying theories. The marking can be thought of as a set of holes or contexts corresponding to the uninterpreted APIs invoked in the program. Just as a program imports packages and uses methods from classes in those packages, we import the semantics of the API invocations as first order logic assertions. These assertions constitute the models used by the analyzer. Logical specification of the desired program behavior (rather its negation) is incorporated as a first order logic formula. An SMT-LIB formula solver treats the combined formula as a constraint and solves it. The solved form can be used to identify logical (security) errors in Java (Android) programs. Security properties of Android are represented as constraints and the analysis aims to show that these constraints are respected." @default.
- W2095080680 created "2016-06-24" @default.
- W2095080680 creator A5044548403 @default.
- W2095080680 creator A5082521701 @default.
- W2095080680 date "2012-07-01" @default.
- W2095080680 modified "2023-10-12" @default.
- W2095080680 title "Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security" @default.
- W2095080680 cites W1502028089 @default.
- W2095080680 cites W1553894716 @default.
- W2095080680 cites W1561975403 @default.
- W2095080680 cites W1793594870 @default.
- W2095080680 cites W1979791196 @default.
- W2095080680 cites W1982205631 @default.
- W2095080680 cites W2023730632 @default.
- W2095080680 cites W2042170939 @default.
- W2095080680 cites W2043100293 @default.
- W2095080680 cites W2069437435 @default.
- W2095080680 cites W2070869623 @default.
- W2095080680 cites W2103714221 @default.
- W2095080680 cites W2103966598 @default.
- W2095080680 cites W2106972913 @default.
- W2095080680 cites W2114275288 @default.
- W2095080680 cites W2121901477 @default.
- W2095080680 cites W2157812571 @default.
- W2095080680 cites W2487758743 @default.
- W2095080680 cites W92576581 @default.
- W2095080680 cites W937181250 @default.
- W2095080680 doi "https://doi.org/10.1109/compsac.2012.43" @default.
- W2095080680 hasPublicationYear "2012" @default.
- W2095080680 type Work @default.
- W2095080680 sameAs 2095080680 @default.
- W2095080680 citedByCount "8" @default.
- W2095080680 countsByYear W20950806802013 @default.
- W2095080680 countsByYear W20950806802014 @default.
- W2095080680 countsByYear W20950806802015 @default.
- W2095080680 countsByYear W20950806802016 @default.
- W2095080680 countsByYear W20950806802017 @default.
- W2095080680 countsByYear W20950806802021 @default.
- W2095080680 countsByYear W20950806802023 @default.
- W2095080680 crossrefType "proceedings-article" @default.
- W2095080680 hasAuthorship W2095080680A5044548403 @default.
- W2095080680 hasAuthorship W2095080680A5082521701 @default.
- W2095080680 hasConcept C111919701 @default.
- W2095080680 hasConcept C137287247 @default.
- W2095080680 hasConcept C164155591 @default.
- W2095080680 hasConcept C184337299 @default.
- W2095080680 hasConcept C199360897 @default.
- W2095080680 hasConcept C2777904410 @default.
- W2095080680 hasConcept C2779639559 @default.
- W2095080680 hasConcept C41008148 @default.
- W2095080680 hasConcept C43126263 @default.
- W2095080680 hasConcept C529173508 @default.
- W2095080680 hasConcept C548217200 @default.
- W2095080680 hasConcept C557433098 @default.
- W2095080680 hasConcept C80444323 @default.
- W2095080680 hasConcept C97686452 @default.
- W2095080680 hasConcept C98183937 @default.
- W2095080680 hasConceptScore W2095080680C111919701 @default.
- W2095080680 hasConceptScore W2095080680C137287247 @default.
- W2095080680 hasConceptScore W2095080680C164155591 @default.
- W2095080680 hasConceptScore W2095080680C184337299 @default.
- W2095080680 hasConceptScore W2095080680C199360897 @default.
- W2095080680 hasConceptScore W2095080680C2777904410 @default.
- W2095080680 hasConceptScore W2095080680C2779639559 @default.
- W2095080680 hasConceptScore W2095080680C41008148 @default.
- W2095080680 hasConceptScore W2095080680C43126263 @default.
- W2095080680 hasConceptScore W2095080680C529173508 @default.
- W2095080680 hasConceptScore W2095080680C548217200 @default.
- W2095080680 hasConceptScore W2095080680C557433098 @default.
- W2095080680 hasConceptScore W2095080680C80444323 @default.
- W2095080680 hasConceptScore W2095080680C97686452 @default.
- W2095080680 hasConceptScore W2095080680C98183937 @default.
- W2095080680 hasLocation W20950806801 @default.
- W2095080680 hasOpenAccess W2095080680 @default.
- W2095080680 hasPrimaryLocation W20950806801 @default.
- W2095080680 hasRelatedWork W1550050390 @default.
- W2095080680 hasRelatedWork W2032897247 @default.
- W2095080680 hasRelatedWork W2095080680 @default.
- W2095080680 hasRelatedWork W2142934822 @default.
- W2095080680 hasRelatedWork W2159712408 @default.
- W2095080680 hasRelatedWork W2387698225 @default.
- W2095080680 hasRelatedWork W2740795878 @default.
- W2095080680 hasRelatedWork W2751940653 @default.
- W2095080680 hasRelatedWork W2899100898 @default.
- W2095080680 hasRelatedWork W4286331409 @default.
- W2095080680 isParatext "false" @default.
- W2095080680 isRetracted "false" @default.
- W2095080680 magId "2095080680" @default.
- W2095080680 workType "article" @default.