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: add a hack around in compare_db_return_states_callbacks
2015-03-30
Dan Car
p
e
nt
e
r
functi
o
n_ho
o
ks: add a hack
a
roun
d
in compar
e
_db
_
re
t
u
r
n_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
l
ist: add a co
m
me
n
t about register_implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
param
_
limit: handle struct
memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
s
t
ates: white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
conditio
n
s: ignore kno
w
n/implied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strin
g
s: record stri
n
g assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct
_
a
ssignment:
s
ave a l
o
t
m
o
re information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
param_limit/filt
e
r
: fix
a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silva
n
J
egen
db: Avoid dereferencing null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
comparison: h
a
n
dl
e
c
a
nonical for loops wi
t
h variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carp
e
nter
comparis
o
n: unsigne
d
can
n
ot
b
e less t
h
an
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: set __
c
ur_stmt an
d
__prev_st
m
t
inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
penter
comparison: merging equiva
l
ent states is not undefi
n
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: fix an
i
nden
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpen
t
er
func
t
ion_hooks: f
i
x up db_comp
a
re
_
callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
en
t
er
function_hooks,
d
ebug:
print
impossib
l
e
returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Car
p
enter
helper: don't str
i
p ca
s
t
i
ng in get_array_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links
:
e
xport merge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
helper: make expr_to_str
(
)
print forced ca
s
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
ty
p
e: make type_to_str() return a
s
name() b
u
ffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carp
e
nter
m
odifica
t
i
o
n_hooks: set a variab
l
e as m
o
d
ified
w
hen
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
user_d
a
ta2
:
ta
g
it if a function sets param
e
t
e
rs
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpe
n
ter
stack: cleanup a f
u
n
c
tion prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Ca
r
p
e
nter
deref_
c
heck: ignore
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpente
r
type: make sval_ty
p
e_max()
d
e
fault to "long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: don'
t
r
eturn SYM_NODE ty
p
es f
r
om get_real_base_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
si
d
e
_
e
ffe
c
ts:
the iterate_
a
l
l
_kinds() mac
r
o has s
i
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n Carp
e
nter
u
nreachable: don't com
p
l
ain abou
t
iterate_all_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Da
n
Carpen
t
er
flow: fix
"
f
oo += !bar;" assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
D
a
n Carpenter
l
ib: h
a
n
d
le -f
u
nsigne
d
-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Carpenter
k
e
rnel
.
ignore_si
d
e_effec
t
s: add some macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
indenting: allow "break;
ca
s
e
XX
X
:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
ter
user
_
data2: mark sscanf() output as user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
math, rl:
fix ha
n
di
n
g division inv
o
lving n
e
gat
i
ve nu
m
b
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
sval
:
fix sval
_
binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
pr
e
ceden
c
e: compla
i
n a
b
out "foo << b
a
r - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carp
e
n
t
er
flow: handle st
r
uc
t
initial
i
z
a
tion bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carpenter
estate: add a NULL check in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpe
n
ter
param_used: store w
h
en a parameter is used so
w
e
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n Carp
e
nter
e
x
t
r
a
: ignore more
_
_
i
n
_fake
_
a
ssig
n
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
c
o
mpar
i
son
:
f
i
x
a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
rpenter
type: a
d
d an ex
p
r_signed() function t
h
at matches
expr_
u
nsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
p
y
: add f
u
nctions to sho
w
functions implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
e
xtra
:
handle
temp
o
rary shortha
n
d poin
t
er
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
dereferences_pa
r
am: look for p
o
i
nters
use
d
as a
n
array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Car
p
ent
e
r
chec
k
_in
d
e
n
ting: w
a
rn about
m
i
ssing curly bra
c
es and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpe
n
ter
param
_
cleared: add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
an
Ca
r
pe
n
ter
validatio
n
:
c
or
r
ect some ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro
K
osk
i
n
e
n
build: allo
w
u
s
e of PKG
_
CONFIG to override
p
kg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
e
n
t
e
r
db:
build inde
x
es faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpenter
slist
:
fix comp
i
le b
r
eakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpente
r
kernel_pri
n
t
f: silence s
o
m
e
false p
o
sitives
using smat
c
h_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
str
i
ngs: record which strings are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpe
n
ter
user
_
d
ata2: turn
o
n
skb->data tag
g
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpenter
db: rename
F
ILTER_
V
ALUE, LI
M
I
TED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
Car
p
enter
k
e
rnel
_
printf: silence
s
o
m
e
"stru
c
t sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpent
e
r
type: ad
d
unions to type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
t
ype_value: spe
e
d up loadi
n
g the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* return_cast: complain a
b
out return -EIN
V
AL
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_string: delete this
b
ecause check_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
function_hook
s
:
a
dd some
d
ebug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
extra: cleanup
db_param_add_
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
extra
:
sep
a
rat
e
P
ARAM_LIMIT and PARAM_FIL
T
ER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
fu
n
cti
o
n
_h
o
oks: don't take a s
h
or
t
cut for "needle
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: introduce
all
o
c_state_str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpent
e
r
math: handle "if (likely(1))
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Ca
r
penter
m
ath
:
fix/clean
u
p
d
o_co
m
parison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rp
e
nter
c
a
pped:
don't record single va
l
u
es as ca
p
ped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: ex
p
o
r
t get_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
user_data2: wrong parameter t
a
gged as user data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
rosenberg:
d
elete
s
ome code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosen
b
er
g
:
s
t
r
ip away some casting (eliminates a fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
a
r
pen
t
er
rosenberg: don
'
t save
unneeded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
buf_siz
e
: don
'
t save u
s
e
l
ess inf
o
rmati
o
n
in
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
struct_assignment: ignore
m
ore f
a
ke
assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
sli
s
t: fix
debugg
i
ng outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param
_
clea
r
ed, rosenberg: a
d
d unders
c
ored memset/cp
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpente
r
param_f
i
lter/s
e
t: don
'
t
r
ec
o
r
d fake assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist, debugging: do
n
't
print ->pos
s
i
ble list if t
h
ere
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpe
n
ter
type_val: add more stuff
t
o
ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carp
e
nter
db/reload
_
partial
.
sh: change database info for on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan
J
egen
Doc
u
m
ent
a
tion
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpen
t
er
kernel_printf: p
u
t
lots of single quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Da
n
Carpenter
Merge bran
c
h '
d
evel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmu
s
Villem
o
e
s
che
c
k_kerne
l
_printf
.
c:
Allow cons
t
char[]
f
ormat arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
ch
e
ck_kernel_pri
n
tf
.
c:
Han
d
le 'fmt ? : "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villem
o
es
c
h
e
c
k_kernel_printf
.
c: Simplify
r
ecursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
c
h
eck_kernel_printf
.
c: Simplify re
c
ursi
v
e calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_print
f
: allow '\b' if it
'
s
t
he fir
s
t
characte
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
validatio
n
/sm_rosenb
e
rg
.
c: don't pa
s
s an uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
kern
e
l_p
r
i
ntf:
a
dd some more
q
uotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nte
r
k
ernel_printf: move a warning unde
r
the --spammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpen
t
er
kernel_printf: add
some quotes around th
e
f
u
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpen
t
er
ke
r
ne_print
f
: '%pb' is v
a
lid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
che
c
k_kerne
l
_printf
.
c: Fix b
r
a
ino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
llemoes
check_kern
e
l_prin
t
f
.
c: Strip
p
arentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoes
chec
k
_kernel_printf
.
c
:
H
an
d
le conditionals
commit
|
commitdiff
|
tree
2015-02-11
R
a
smu
s
V
illemoes
smatch:
Chec
k
t
h
e k
e
rnel'
s
%p format extensions
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Villemoe
s
sma
t
ch:
A
d
d
--e
n
able opt
i
on
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoe
s
s
m
atch
:
Implement --show-che
c
ks
commit
|
commitdiff
|
tree
next