repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
kernel: fix type bug handle IS_ERR() and friends
2019-02-15
D
a
n
C
arpenter
ke
r
nel
:
fix type bug
h
andle IS_ERR() and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
Dan
C
arpenter
db: d
o
n't pretend to dereferenc
e
integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-13
D
a
n
Carpenter
testing_index_after_
u
s
e
: remo
v
e
debug
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpenter
cap
p
ed: do
n
't se
t
capped fo
r
known v
a
l
u
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpe
n
ter
extra: tweak hard
m
a
x
in c
o
nditions and mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpent
e
r
extr
a
: p
a
ss
h
ar
d
max across function boun
d
a
r
ie
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
an Car
p
en
t
er
d
b
: split zero
a
nd no
n
-zero r
e
turn
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n Carpenter
impli
e
d: remove some dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpente
r
imp
l
ied: remove a
n
onsen
s
e limit
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
an
C
arpenter
testi
n
g_i
n
de
x
_after_use: s
i
lence
s
o
me f
a
lse
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
an Carpente
r
implied: remove the --debug-imp
l
ied opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
states: fix
a bug handli
n
g
n
e
gate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
arpent
e
r
equiv: u
p
date "other"
n
ames
as wel
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
b
u
f_comparis
o
n: re-write to be
more
f
lexible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
pe
n
ter
db/kernel
.
r
eturn_fixes: add some more return fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
C
a
rp
e
nter
d
b/vim
_
db: don'
t
comp
l
a
in when the file is not fo
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpe
n
te
r
db/create_
d
b
.
sh: don't c
o
mplai
n
when -p=<pro
j
e
ct> is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/fixup_kernel
.
sh: fix up s
t
uff from the unsi
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan C
a
rpenter
v
a
lidation: u
p
date
a
fe
w
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carp
e
n
t
er
type: commit some missing pie
c
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
ext
r
a
:
small speedup in set_pa
r
am_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
rpent
e
r
helper: fix exp
r
_to_chunk_helper() for
s
t
ruct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
co
m
parison: print
a
"%s" string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Carpenter
constraints: remove debugging and use the stripped
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
db: improve recordin
g
co
m
pari
s
ons to
paramet
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpen
t
e
r
implied:
r
emove some dupl
i
cate debug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
ar
p
enter
real_absolute: do
n
't st
o
re data for
a
rrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
sval: remo
v
e an extra
spa
c
e character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
type:
m
ake pointe
r
s
u
nsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
e
x
t
r
a: t
i
ghten ca
n
onical for
l
oop h
a
ndling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
extra: fi
x
f
u
nction
comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpen
t
er
ranges: improv
e
c
a
sting neg
a
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Da
n
Carpenter
implied: don't use in
c
omplete states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
imp
l
ications: remove
a
m
agic numbe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carp
e
nter
db: show com
p
a
r
i
s
on s
t
r
ing
s
for condit
i
onal returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
an Car
p
enter
d
b
: don't s
t
o
re
r
ecursive struct
memb
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
an Ca
r
p
e
nter
type:
h
andle pointer type c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
a
r
pen
t
e
r
extra
/
untracked_para
m
: m
a
rk lost parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
a
ddres
s
: return unknown if we can't figure
o
ut the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-31
Da
n
C
arpenter
implie
d
: t
w
e
a
k
some d
e
bu
g
st
a
t
e
m
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
D
an
C
arp
e
n
te
r
expressions: parse "$0-
>
foo
.
bar" correctly
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carp
e
nter
return_to_
p
aram: u
s
e ident-
>
len
i
nstead
o
f
s
trlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
param_set: handle
mtag assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n Car
p
enter
as
s
ig
n
ed_expr: make i
t
work for par
a
met
e
r assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
Dan Carpente
r
equiv: use DB inform
a
t
ion to set e
x
t
r
a
s
tate in equiv
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
D
a
n
Carpenter
extra
:
imp
r
ove get_o
t
her_name
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
D
a
n Carpenter
extra: fu
t
z a
r
o
u
nd with get_oth
e
r_
n
ame_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
helper: improve get_membe
r
_name()
for an
o
nymous
s
tru
c
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
db: escape n
e
w l
i
nes
i
n
sa
v
e_cache_da
t
a()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Carpenter
r
anges:
constify c
a
ll_re
s
u
lts_to_r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpen
t
er
ex
t
ra: filt
e
r
reall
y
long un
u
sed param value information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
arpenter
extra: u
s
e ident->len instead of ca
l
ling st
r
le
n
(ident
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
db: don't
create ne
w
s
p
lits in split_positive_from_negative()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
penter
extra
:
fix r
e
t
urned_struct_members()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpenter
param_used
:
f
ix handling of called functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carp
e
nter
extra: e
x
port in
_
war
n
_
on
_
macr
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
ty
p
e:
m
isc sma
l
l cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpent
e
r
type: fix ge
t
_member_from_stri
n
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
ar
p
enter
kpatch
.
sh:
f
ix sp
e
lling
s/ammend/amend/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
nter
type: add a short cut
in get_real
_
base_ty
p
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpen
t
er
impl
i
e
d
: Prese
r
ve ->hard_max for f
a
ke h
i
story states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Ca
r
p
e
nter
extra: preserv
e
hard_
m
ax afte
r
c
omparis
o
ns
to zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Da
n
C
a
rpenter
s
l
i
s
t:
m
a
ke sm->ch
i
ldren
a
smaller type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Da
n
Carpe
n
te
r
slist:
r
en
a
me v
a
r
iables in
_
_merge_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpen
t
er
s
list: handle the
fast path
i
n __merge_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carp
e
nter
s
list: simplify __merge_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpe
n
ter
no
s
pe
c
: d
o
n't record nospec par
a
m
e
ter info
which h
a
s
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan Car
p
ente
r
d
m
a
_
mapping_error: update to only complain about
l
e
ga
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
Dan Carpenter
s
m
atch: add a --s
u
cceed option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan Car
p
enter
db: make e
s
cape_
n
e
w
lines() take a const po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Da
n
Carpenter
p
a
rse
.
h: create stmt_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an
C
arpenter
c
o
nstraint
s
:
escape SQL s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carp
e
nter
statement_count: rec
o
rd how many statem
e
nts
there
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
extra/
d
b: s
i
l
e
nce an in
v
alid S
Q
L
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
buf_size:
f
ix han
d
ling of 1 element
a
r
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan
Carpe
n
ter
d
b
: sql de
b
ug mode was executing
the SQL twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test_bit: add
test_and_set_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
deb
u
g: introduce __s
m
a
tch_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db: do
n
'
t
s
a
v
e
struct members for
i
n
t
e
ger
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
t
e
r
implie
d
: remove an un
n
ecessary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
nul_termi
n
ato
r
: expo
r
t the is_nul_
t
e
r
m
inated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
kpatch:
use git i
n
stead of tryi
n
g to create diffs b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
s
t
ruct_assignment: handle u
n
ions
a
s well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
missing_
b
re
a
k: turn it off by de
f
au
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
pe
n
ter
free_strict: fix some false
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
e
n
ter
Revert
"Look across the entir
e
c
ompil
e
line for
s
m
atch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
D
a
n
Ca
r
penter
t
r
inity:
Proof of concept t
o
auto-
g
ener
a
te tr
i
nity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
an Ca
r
penter
u
ser_
d
a
ta
:
rename to smatch
_
kernel_
u
ser_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n
Carp
e
n
ter
assigned_exp
r
:
rename to smatch_ass
i
gne
d
_ex
p
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Car
p
e
nter
smatch: make the --enable/dis
a
ble o
p
ti
o
ns take s
t
ri
n
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Carp
e
n
t
e
r
smatch_nu
l
_term
i
nated: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
an
Carpent
e
r
untracke
d
_param: fix a
NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
D
a
n
C
a
rpen
t
er
u
n
initialized: fix a crashin
g
bug pa
r
si
n
g "r
e
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
D
an Carpenter
n
u
l_te
r
m
in
a
t
or: tra
c
k wh
e
n stri
n
gs
have a NUL terminator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
en
t
er
user_data2: fix a type i
s
sue
in caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carp
e
n
t
er
us
e
r_data: inte
g
er
s
c
a
n't be dereference
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
comparison: m
a
ke a bu
f
fer
lar
g
er t
o
make GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
a
r
penter
data_so
u
rce:
t
r
a
ck as
s
ignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
extra:
p
revent a divide
b
y
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpenter
modificati
o
n_
h
o
o
ks
:
use the DB fo
r
fr
o
b(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next