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
function_hooks: fix up db_compare_callback()
2015-03-20
Dan Carpenter
fun
c
tion
_
h
o
oks: f
i
x up db_compare_cal
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpen
t
e
r
f
unction_hooks, debug: pr
i
nt impossible returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
helper: don'
t
strip c
a
sting i
n
g
e
t_
a
rray_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n C
a
r
pent
e
r
l
i
nks: export m
e
r
g
e_lin
k
_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
he
l
per
:
ma
k
e expr_t
o
_st
r
() prin
t
for
c
ed cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
typ
e
:
make type_to
_
str() return
a
sname
(
)
buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
mo
d
ification_hooks:
set a
var
i
a
ble a
s
modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
user_
d
a
t
a2:
t
ag it if a function sets par
a
met
e
rs
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
stack: cleanup a function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
d
e
ref_
c
heck
:
ignore arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan C
a
r
p
en
t
er
ty
p
e: make sval_type_m
a
x() default t
o
"
long lo
n
g"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
typ
e
: don't return SYM_NODE types
f
r
o
m get_real_
b
ase_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Da
n
Ca
r
p
enter
side_
e
ffect
s
: the it
e
rate_all_kin
d
s
() macro has sid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpent
e
r
unr
e
achable:
d
on't
co
m
p
lain about iterate_all_k
i
nds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan
Carpenter
flow: f
i
x
"foo
+= !
b
ar;" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
li
b
: ha
n
dl
e
-funsig
n
ed-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
arpen
t
er
ker
n
e
l
.
ignore_side_effect
s
: add some m
a
cros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
Carp
e
nter
indenting:
allow "break; case
X
XX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpen
t
er
user_d
a
t
a2: mar
k
sscanf() output as user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpenter
mat
h
,
r
l: fix handing di
v
ision involving ne
g
at
i
ve numbe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval: fix sv
a
l_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
prec
e
d
e
nce:
comp
l
ain about "foo
<
<
b
ar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
D
an Carpe
n
ter
flow
:
handl
e
stru
c
t initializ
a
tion bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
penter
estate:
add a NULL check in estates_
e
q
uiv(
)
commit
|
commitdiff
|
tree
2015-03-03
D
a
n Carpenter
pa
r
am_used: st
o
re
whe
n
a para
m
e
ter is used so we
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra:
i
gnore
mo
r
e
__in_fake_assign
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
nte
r
comp
a
r
ison: fix a cra
s
hing
b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carpenter
typ
e
: add an expr_signed() function that matches expr_unsign
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpenter
smdb
.
p
y
:
ad
d
functions
to
s
h
o
w
functi
o
n
s im
p
lementi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
ex
t
ra: h
a
ndle
t
e
m
porary
short
h
a
n
d po
i
nte
r
s be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
e
r
dereferences_
p
aram: look
f
or poi
n
ters used as
an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_indenting: warn
about miss
i
ng curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_cleared: add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
n
ter
validation: correct
s
o
me outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
A
aro Koskin
e
n
build:
a
llow use of PKG_CONFIG to
o
verride pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpente
r
db:
build ind
e
xes f
a
s
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: fix co
m
pile
breakag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an C
a
rp
e
nter
k
ernel_prin
t
f: silence some false positives using smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
strings:
r
ecord which strin
g
s are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_data2: tur
n
on
s
k
b
->data tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: rename FI
L
TER_VALUE, LIMI
T
ED_VALUE, and ADD
E
D_V
A
LUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
ker
n
el_printf: silence s
o
m
e
"
struc
t
s
o
c
kadd
r
" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
t
y
pe:
add unions to type_
t
o_st
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
t
y
p
e_value
:
speed up loadi
n
g the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpe
n
ter
*new* return_c
a
st: complai
n
ab
o
ut return -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_str
i
ng: de
l
ete this b
e
c
a
u
s
e check_kernel
_
printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hooks: add some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpent
e
r
ext
r
a:
c
le
a
n
up db_para
m
_add
_
s
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ext
r
a:
s
epar
a
te PARAM_LIMIT an
d
PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arp
e
nter
function
_
hooks:
don't take
a
s
h
ortcut for "need
l
ess
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpente
r
he
l
per: introduce alloc_state_str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: handl
e
"if (likel
y
(1
)
)
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
math:
f
ix/cl
e
an
u
p do_comparison(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
capped: don't reco
r
d sing
l
e values as
c
apped i
n
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpenter
db: exp
o
rt ge
t
_
static_filter(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpen
t
er
user_data2
:
wrong para
m
eter tagged as use
r
data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
ente
r
r
osenberg: delete some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
rosenberg: strip away some c
a
s
ting (eliminates
a
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
rose
n
berg
:
do
n
't
s
ave
unneeded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
buf_si
z
e
: d
o
n't save usele
s
s information in the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Car
p
enter
struct_assig
n
ment:
i
gnore m
o
re
fak
e
assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
s
l
ist: fi
x
deb
u
gging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
Carp
e
nter
param_cleared
,
rosenberg: add un
d
erscored memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
penter
param_filter
/
set:
don't
record
f
a
ke
a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpen
t
er
slis
t
, debugging: don't pr
i
nt ->
p
ossible list i
f
ther
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpenter
t
yp
e
_val: ad
d
m
o
re stuff to ignor
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Ca
r
pente
r
d
b
/reloa
d
_
partial
.
sh:
c
hange da
t
a
b
ase info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
S
i
lvan
J
egen
Docume
n
tatio
n
f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
ker
n
e
l_printf: p
u
t lots
o
f
s
ingle quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpen
t
e
r
Merge
b
ranch 'dev
e
l3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Vill
e
mo
e
s
check_kern
e
l_print
f
.
c
:
Allow c
o
n
st char[] fo
r
m
a
t argum
e
nts
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoe
s
ch
e
ck_k
e
rnel_
p
ri
n
t
f
.
c: Handle 'fmt ? : "def
a
ult
"
'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Vi
l
le
m
oes
check_k
e
r
n
e
l_
p
rintf
.
c
:
Simplify
recursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
check_kernel
_
pri
n
t
f
.
c: Simplify recursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
ker
n
el
_
printf: a
l
l
o
w
'\b' i
f
it's the first c
h
aracter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
va
l
idation/sm_rosenberg
.
c: don't pass an uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kernel_printf: add s
o
me
more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne
l
_printf: move a warning under the
-
-spa
m
my flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
k
e
r
n
el_pr
i
ntf:
add
som
e
quo
t
es
around
the funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Ca
r
p
e
n
ter
kerne_pri
n
tf:
'
%
pb' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Vil
l
emoe
s
c
hec
k
_
k
er
n
el_p
r
intf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villemo
e
s
check_kernel
_
prin
t
f
.
c: Str
i
p par
e
ntheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemo
e
s
check_kernel_pri
n
tf
.
c: Handle conditionals
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Vill
e
moe
s
smatch: Check
t
he kernel's %p forma
t
extensi
o
n
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Vill
e
moes
smatch: Add
-
-e
n
able option
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
mus Vi
l
lemoes
s
match: Implement --show-check
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoe
s
sma
t
c
h
: Add dummy element to r
e
g_
f
uncs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van Oostenryck
Avoid
r
e
us
e
o
f string buffer
whe
n
concaten
i
ng ad
j
acent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
D
an Carpenter
wron
g
_
size_arg:
w
arn
a
bout "if (m
e
mcmp(
f
oo,
ba
r
, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpe
n
t
e
r
struct
_
assignment: remove a b
l
ank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
s
va
l
: handle LEFTSHIFTs in s
v
al_binop_
o
verfl
o
ws()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
a
rpenter
sval: ca
s
t the
r
esult in sval_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpenter
typ
e
_val: update to han
d
l
e
PARAM_SET from
the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
typ
e
_val:
ignore kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n
Carpen
t
er
type_val
:
ignore
a
ll the
"
f
or_each" macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpenter
user_d
a
ta2
:
remov
e
so
m
e debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Da
n
Carp
e
nter
helper: in
t
roduce
i
n
v
ert_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpente
r
ranges:
b
reak the
range l
i
st parsi
n
g
into a separa
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpen
t
er
ranges: prepare to c
h
ange a string to an estate i
n
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpe
n
t
e
r
modification_h
o
oks: add PARAM_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next